Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2012
SeriesCommunications in Computer and Information Science
Subjects
Artificial Intelligence
Computation by Abstract Devices
Computer Science
Data Mining and Knowledge Discovery
Information Storage and Retrieval
Pattern Recognition
Software Engineering
Online AccessGet full text

Cover

More Information
ISBN:3642347800
9783642347801
ISSN:1865-0929
1865-0937
DOI:10.1007/978-3-642-34781-8