You are here: Home

Search results

RSS Subscribe to an always-updated RSS feed.

5 items matching your search terms.
Filter the results.
Item type









New items since



Sort by relevance · date (newest first) · alphabetically
June 15, 2011 - NSAD 2011 (The Third International Workshop on Numerical and Symbolic Abstract Domains)
NSAD 2011 The Third International Workshop on Numerical and Symbolic Abstract Domains A SAS 2011 satellite workshop. Venice, Italy 13 September 2011
Located in CFP Folder
March 25, 2011 - FMICS 2011 (16th International Workshop on Formal Methods for Industrial Critical Systems)
FMICS 2011 16th International Workshop on Formal Methods for Industrial Critical Systems http://events.fortiss.org/fmics2011/ August 29/30, 2011, Trento, Italy Co-located with RE 2011
Located in CFP Folder
October 12, 2012 - ITNG 2013 (5th International Symposium on Software Testing)
CFP: ITNG 2013 5th International Symposium on Software Testing April 15-17, 2013 Las Vegas, Nevada, USA http://www.vteonline.com/ITNG2013/
Located in CFP Folder
June 06, 2012 - NSAD 2012 (The Third International Workshop on Numerical and Symbolic Abstract Domains)
The Third International Workshop on Numerical and Symbolic Abstract Domains NSAD 2012
Located in CFP Folder
June 01, 2011 - SSV 2011 (6th International Workshop on Systems Software Verification, Real Software, Real Problems, Real Solutions)
6th International Workshop on Systems Software Verification (SSV 2011), Real Software, Real Problems, Real Solutions, August 26-27 2011, Nijmegen, The Netherlands, https://es.fbk.eu/events/ssv2011
Located in CFP Folder