Formal Specification and Verification of Software Systems

(catalog description)

 
Blog Summary Widget

CS-745/845