- Contact
- DE
- EN

Empowering Expertise.

Discover your
career prospects.

Find your degree program

Publication

Supporting Proof in a Reactive Development Environment

Author:

Farhad Mehta, 2007

Publisher

IEEE

Newspaper/Anthology:

IEEE SEFM’07 (Software Engineering and Formal Methods) proceedings/2007

Pages:

103-112

978-0-7695-2884-7