Back to Search
Start Over
BRILLANT: an open source and XML-based platform for rigourous software development.
- Source :
- Third IEEE International Conference on Software Engineering & Formal Methods (SEFM'05); 2005, p373-382, 10p
- Publication Year :
- 2005
Details
- Language :
- English
- ISBNs :
- 9780769524351
- Database :
- Complementary Index
- Journal :
- Third IEEE International Conference on Software Engineering & Formal Methods (SEFM'05)
- Publication Type :
- Conference
- Accession number :
- 81296554
- Full Text :
- https://doi.org/10.1109/SEFM.2005.10