dennis dams
Theoretical and Practical Aspects of SPIN Model Checking
Print on DemandIncreasing the designers con dence that a piece of software or hardwareis c- pliant with its spec...
FM 2009: Formal Methods
Print on Demandth FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...
Concurrency, Compositionality and Correctness
Besorgungstitel - wird vorgemerktWhy would you read this preface? As we start thinking what to write here, we wonder who is going ...
- 1