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

 

Published In

IEEE Software, 60-63.