- DE
- EN

Publikation

Supporting Proof in a Reactive Development Environment

Autorenschaft:

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