Wolfgang Schreiner,
"Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)"
, in louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker: Specification and Verification of Hybrid Systems, proceedings of the First International Seminar, Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse, Ukraine, Seite(n) 64-69, 2011
Original Titel:
Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)
Sprache des Titels:
Englisch
Original Buchtitel:
Specification and Verification of Hybrid Systems, proceedings of the First International Seminar
Veröffentlicher:
Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse
Forschungs-