Brigham Young University / University of York / Queen Mary University of London / Ames Research Center / France Cesare Tinelli University of Iowa Dimitra Giannakopoulou / NASA Langley Research Center / National Institute of Aerospace / USA NASA Langley Research Center / NASA Ames Research Center / NASA Johnson Space Center / University Darren Cofer / NASA Goddard Space Flight Center / /
OperatingSystem
Hurd / /
Organization
France Cesare Tinelli University of Iowa Dimitra Giannakopoulou / Brigham Young University / Andrew Appel Princeton University Program Committee / New York University / Univ of Stellenbosch / Kansas State Univ / UK Steering Committee / University of York / NASA Ames Research Center / National Institute of Aerospace / Univ of Maryland / Univ of Pennsylvania / National Aeronautics and Space Administration / Concordia Univ / NASA Langley Research Center / NASA Goddard Space Flight Center / London South Bank Univ / Univ of Singapore / Univ of Minnesota / University of London / /
Person
Virginie Wiels / Jean-Christophe Filliâtre / Jin Song Dong / Rance Cleaveland / John Hatcliff / Charles Pecheur / Mike Whalen / Dino Distefano / Jim Woodcock / Bart Jacobs / Natasha Neogi / Eric Goubault / Joe Hurd / Patrick Cousot École Normale Supérieure / Oleg Sokolsky / Jonathan Bowen / /
National Aeronautics and Space Administration NFM 2012 Fourth NASA Formal Methods Symposium SUBMISSION DEADLINE: 11 DECEMBER 2011