marsha chechik
Verified Software. Theories, Tools, and Experiments
Print on DemandThis volume constitutes the thoroughly refereed post-conference proceedings of the 8th Internatio...
CONCUR 2008 - Concurrency Theory
Print on DemandThis volume contains the proceedings of the 19th International Conference on Concurrency Theory (...
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandThis bookconstitutes the proceedings of the 22nd International Conference on Tools andAlg...
Formal Methods
Print on DemandThis book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...
- 1