?
Lecture Notes in Computer Science; NASA Formal Methods ,
7
Configurable Benchmarks for C Model Checkers:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
8