Metadata only
Autor(in)
Datum
2014Typ
- Conference Paper
Publikationsstatus
publishedExterne Links
Buchtitel
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, proceedingsZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03653 - Müller, Peter / Müller, Peter