Back to Search
Start Over
Verified systems by composition from verified components
- Source :
- ACM SIGSOFT Software Engineering Notes; September 2003, Vol. 28 Issue: 5 p277-286, 10p
- Publication Year :
- 2003
Details
- Language :
- English
- ISSN :
- 01635948
- Volume :
- 28
- Issue :
- 5
- Database :
- Supplemental Index
- Journal :
- ACM SIGSOFT Software Engineering Notes
- Publication Type :
- Periodical
- Accession number :
- ejs21460669
- Full Text :
- https://doi.org/10.1145/949952.940109