Skip to contents Leavens, Gary T. [Editor] ; VSTTE 3 2010 Edinburgh Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2010 Published in: Lecture notes in computer science ; 6217 Meyer, Bertrand [Editor]; Woodcock, Jim [Performer] ; VSTTE 1 2005 Zürich Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4171 Shankar, Natarajan [Editor]; Woodcock, Jim [Other] ; VSTTE 2 2008 Toronto Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5295 Joshi, Rajeev [Editor] ; VSTTE 4 2012 Philadelphia, Pa Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2012 Published in: Lecture notes in computer science ; 7152
Leavens, Gary T. [Editor] ; VSTTE 3 2010 Edinburgh Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2010 Published in: Lecture notes in computer science ; 6217
Meyer, Bertrand [Editor]; Woodcock, Jim [Performer] ; VSTTE 1 2005 Zürich Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4171
Shankar, Natarajan [Editor]; Woodcock, Jim [Other] ; VSTTE 2 2008 Toronto Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5295
Joshi, Rajeev [Editor] ; VSTTE 4 2012 Philadelphia, Pa Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2012 Published in: Lecture notes in computer science ; 7152
> Location Skip to next facet Departmental Library DrePunct (4) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (4) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Woodcock, Jim (2) Wert ausschließen Joshi, Rajeev (1) Wert ausschließen Leavens, Gary T. (1) Wert ausschließen Meyer, Bertrand (1) Wert ausschließen Shankar, Natarajan (1) Wert ausschließen VSTTE 1 2005 Zürich (1) Wert ausschließen VSTTE 2 2008 Toronto (1) Wert ausschließen VSTTE 3 2010 Edinburgh (1) Wert ausschließen VSTTE 4 2012 Philadelphia, Pa (1) Wert ausschließen Show more show less