Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Model Checking Software
heftet,
2009,
Engelsk,
ISBN 9783642026515
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in …
Formal Aspects of Component Software
heftet,
2013,
Engelsk,
ISBN 9783642358609
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September …