Thomas Ball

In The Days of The Latter Rain

2014 · ENGLISH · AZW

View details →

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

2004 · ENGLISH · PDF

View details →

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2006 · ENGLISH · PDF

View details →

Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

2004 · ENGLISH · PDF

View details →