TU Darmstadt / ULB / TUbiblio

Reuse in Software Verification by Abstract Method Calls

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Hrsg.: Bonacina, Maria Paola (2013)
Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 2013
Herausgeber: Bonacina, Maria Paola
Autor(en): Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Art des Eintrags: Bibliographie
Titel: Reuse in Software Verification by Abstract Method Calls
Sprache: Englisch
Publikationsjahr: 2013
Verlag: Springer
(Heft-)Nummer: 7898
Buchtitel: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Reihe: Lecture Notes in Computer Science
Veranstaltungsort: Lake Placid, NY
Veranstaltungsdatum: 9.-14. Juni 2013
ID-Nummer: TUD-CS-2013-0087
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Formal Methods in System Engineering
20 Fachbereich Informatik > Software Engineering
Hinterlegungsdatum: 31 Dez 2016 10:40
Letzte Änderung: 18 Jul 2018 12:52
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen