Home » Research » Conferences

SPIN 2009 - SPIN Workshop on Model Checking of Software

Conference Home Page: 
http://ti.arc.nasa.gov/event/spin09/
Paper Due Date: 
March 9, 2009
Date of Notification: 
April 10, 2009
Date of Conference: 
June 26, 2009 - June 28, 2009
Associated Research Groups: 
Minnesota Extensible Language Tools