publication venue for
- The use of mathematics in software quality assurance. 6:3-16. 2012
- Documenting and verifying systems assembled from components. 4:151-161. 2010
Frontiers of Computer Science
Journal
- Overview
- Identity
- View All