Alloy Community

User login

Software for Dependable Systems: Sufficient Evidence?

Home » Groups » MIT-SDG
alloy's picture
Authors: 
Daniel Jackson, Martyn Thomas, and Lynette I. Millett (Editors)
Publication Venue: 
National Academies Report
When Published: 
May 1 2007

National Academies, Washington, DC, May 2007

by alloy

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte