Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Verified Software: Theories, Tools and Experiments
nidottu,
2014,
englanti,
ISBN 9783319121536
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, …
Hardware and Software: Verification and Testing
nidottu,
2011,
englanti,
ISBN 9783642195822
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. …