Large-scale formal verification in practice: A process perspective
June Andronick, Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 34th International Conference on Software Engineering
ICSE'12
Zurich, Switzerland
IEEE Press
Piscataway, NJ, USA
Pages 1002-1011
2012
Topic(s): verification
ICSE'12
Zurich, Switzerland
IEEE Press
Piscataway, NJ, USA
Pages 1002-1011
2012
Topic(s): verification