Search ResultsOther Libraries
Limit Search Results
Format
Author
Subject
Language
Material Type
Switch to list view
Switch to thumbnail view
544 Results Found Subscribe to search results
000000000000OPAC
Print
Published 
c1999.
Library 
Lee Wee Nam Library
Call Number 
QA76.9.S88C824
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Go to:Search Results
|
Search Facets
|
Top of Page