Abstract

CERTSOFT06

 

Stefania Gnesi, Tom Maibaum, Alan Wassyng

This volume contains the proceedings of CERTSOFT06, the First International Workshop on Software Certification, organized at McMaster University, Hamilton, Canada, in August 2006. The workshop was co-located with the 14th International Symposium on Formal Methods.