Publikation

Supporting Proof in a Reactive Development Environment

Autorenschaft:
Prof. Dr. Farhad D. Mehta, Farhad Mehta, 2007
Herausgeber:
IEEE
Zeitschrift / Sammelband:
IEEE SEFM’07 (Software Engineering and Formal Methods) proceedings/2007
Seiten / Kapitel:
103-112
978-0-7695-2884-7
zurück