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