Formal Methods Adoption: What's Working, What's Not!

Fri, 01 Jan 1999 00:00:00 +0100

Dan Craigen:
Formal Methods Adoption: What's Working, What's Not! SPIN 1999: 77-91