Design automation: Making formal methods relevant (1995)

by L Walton, J Hook
Venue:ICSE-17 Workshop on Formal Methods Application