Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani & David Monniaux의 도서 더 보기

Automated Technology for Verification and Analysis

Formal Techniques for Distributed Objects, Components, and Systems

Networked Systems