Formal Methods for Components and Objects: 10th International Symposium FMCO 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-35886-9 ISSN: 0302-9743 KITopen-ID: 1000069761 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Verlag | Springer-Verlag |
| Umfang | X, 356 S. : Ill., graph. Darst. |
| Serie | Lecture notes in computer science : State-of-the-art-survey ; 7542 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |