Record:   Prev Next
Author VSTTE (1st : 2008 : Zurich, Switzerland)
Title Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings / Natarajan Shankar, Jim woodcock (eds.)
Imprint Berlin : Springer, c2008
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.0 V516 2008  LNCS 5295    LIB USE ONLY    30330000212725
Descript xii, 262 p. : ill. ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 5295
Note Includes bibliographical references and author index
Alt Author Shankar, Natarajan
Woodcock, Jim
Alt Title VSTTE 2008
Record:   Prev Next