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