Hardness for Explicit State Software Model Checking Benchmarks Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Castro, Pablo F
Maibaum, Thomas

status

published

publication date

2007

published in

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Journal

presented at event

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Conference