Supporting Proof in a Reactive Development Environment

Thumbnail
Metadata only
Author
Mehta, Farhad
Date
2007
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Hinchey, Mike
Margaria, Tiziana
Book title
Fifth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2007
Pages
103 - 112
Publisher
IEEE
Event
5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK, September 10-14, 2007
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Citations
Cited 5 times in Web of Science
Altmetrics