Preface: Special Issue on Nasa Formal Methods Symposium 2009.

Ewen Denney Dimitra Giannakopoulou Corina S. Pasareanu Preface: Special Issue on Nasa Formal Methods Symposium 2009. 171-172 2010 6 ISSE 3 http://dx.doi.org/10.1007/s11334-010-0130-3 db/journals/isse/isse6.html#DenneyGP10