in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6415, Issue: PART 1, Pages: 106-120 (15)
Conference
4Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Date: OCT 18-21, 2010, Location: Heraklion, GREECE, Sponsors: European Assoc Software Sci & Technol, TU Dortmund, Univ Potsdam
