Title
Software Mythbusters Explore Formal Methods
Date of Original Version
11-2009
Type
Article
Rights Management
Can archive pre-print and post-print or publisher's version/PDF
COinS
Published In
IEEE Software, 60-63.