Software Mythbusters Explore Formal Methods

journal contribution

posted on 2009-11-01, 00:00 authored by Ciera Jaspan, Michael Keeling, Larry MacCherone, Gabriel L. Zenarosa, Mary Shaw

Institute for Software Research

History

Date

2009-11-01

Usage metrics

Categories

Software engineering not elsewhere classified

Keywords

Software Research Computer Software not elsewhere classified

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC