JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Martina Seidl, Nikolai Tillmann, "Proceedings of the 8th International Conference on Tests and Proofs" , Serie Lecture Notes in Computer Science (LNCS), Springer, 2014, ISBN: 978-3-319-09098-6
Original Titel: Proceedings of the 8th International Conference on Tests and Proofs
Sprache des Titels: Deutsch
Veröffentlicher: Springer
Serie: Lecture Notes in Computer Science (LNCS)
Erscheinungsjahr: 2014
ISBN: 978-3-319-09098-6
DOI: 10.1007/978-3-319-09099-3
Reichweite: international
Publikationstyp: Tagungsband Mitherausgeberschaft (Erstauflage)
Autoren: Martina Seidl, Nikolai Tillmann
Forschungseinheiten: Institut für Formale Modelle und Verifikation
Wissenschaftsgebiete: Informatik (ÖSTAT:102)
Computer Hardware (ÖSTAT:202006)
Logik (ÖSTAT:603109)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum