Publikationsdetails

Zitat:	Tudor Jebelean, Laura Kovacs, Nikolaj Popov, "Verification of Imperative Programs in Theorema" : Proceedings of 1st South-East European Workshop in Formal Methods, Seite(n) 140-147, 2003, Thessaloniki, Greece, November 2003
Original Titel:	Verification of Imperative Programs in Theorema
Sprache des Titels:	Englisch
Original Buchtitel:	Proceedings of 1st South-East European Workshop in Formal Methods
Seitenreferenz:	140-147
Erscheinungsjahr:	2003
Notiz zum Zitat:	Thessaloniki, Greece, November 2003
Anzahl der Seiten:	8
Reichweite:	international
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Tudor Jebelean, Laura Kovacs, Nikolaj Popov
Forschungseinheiten:	Institut für Symbolisches Rechnen

fodok.jku.at

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