Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard [Hrsg.]
| Zugehörige Institution(en) am KIT | Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsband |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-642-31762-0 ISSN: 1611-3349 KITopen-ID: 1000069762 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Verlag | Springer-Verlag |
| Umfang | X, 251 S. |
| Serie | Lecture notes in computer science ; 7421 |
| Projektinformation | KASTEL I (BMBF, 01BY1172 / 16BY1172) |
| Nachgewiesen in | Dimensions |