Feedback senden
- Titel
- FM 2015: Formal Methods
- Untertitel
- 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
- Sprache
- Englisch
- Autor*innen
- Nikolaj Bjørner
- Verlag
- Springer-Verlag GmbH
- Erscheinungsdatum
- 2015
- ISBN10
- 3319192485
- ISBN13
- 9783319192482