discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Laarc
Cleanroom: High-Quality Software via Semiformal Specification and Verification
http://infohost.nmt.edu/~al/cseet-paper.html
5 comments
19/1/2019
programming , realengineering