Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
scientific article; zbMATH DE number 6208791