Back to Search
Start Over
Supporting Proof in a Reactive Development Environment.
- Source :
- Fifth IEEE International Conference on Software Engineering & Formal Methods (SEFM 2007); 2007, p103-112, 10p
- Publication Year :
- 2007
Details
- Language :
- English
- ISBNs :
- 9780769528847
- Database :
- Complementary Index
- Journal :
- Fifth IEEE International Conference on Software Engineering & Formal Methods (SEFM 2007)
- Publication Type :
- Conference
- Accession number :
- 81135872
- Full Text :
- https://doi.org/10.1109/SEFM.2007.40