| | |
|
verified software theories tools experiments first ifip tc wg conference vstte 2005 zurich switzerland october 10 13 2005 revised lecture notes in computer science | |
| |
| | |
Bertrand Meyer |
|
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science) | 0 |
| |
| | |
Rajeev Joshi |
|
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings ... / Programming and Software Engineering) | 0 |
Natarajan Shankar |
|
Verified Software: Theories, Tools, Experiments | 0 |
Natarajan Shankar |
|
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture ... / Programming and Software Engineering) | 0 |
Dimitra Giannakopoulou |
|
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected ... / Programming and Software Engineering) | 0 |
Gary T. Leavens |
|
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... / Programming and Software Engineering) | 0 |
|
| | |
| | | |