Critical and High Assurance Requirements Transformed through Engineering Rigour
Time: August 22, 2011 to August 25, 2011
Location: Nijmegen, The Netherlands Website or Map: http://itp2011.cs.ru.nl/ Event Type: conference
Latest Activity: May 27, 2012
Export to Outlook or iCal (.ics)
ITP 2011 is the second conference on Interactive Theorem Proving and related issues including, applications, case studies, foundations, languages, and implementations.
© 2013 Created by Alec Dorling.
Report an Issue |
Terms of Service
Please check your browser settings or contact your system administrator.