Conference Proceedings

Integrating formal specification and software verification and validation

R Duke, T Miller, P Strooper

Teaching Formal Methods (Lecture Notes in Computer Science) | Published : 2004

DOI: 10.1007/978-3-540-30472-2_8