Specification: The biggest bottleneck in formal methods and autonomy
Kristin Yvonne Rozier[ISBN] [Google Scholar] [DBLP] [Citeseer]
Verified Software. Theories, Tools, and Experiments
Springer International Publishing
Cham
Pages 8-26
2016
Springer International Publishing
Cham
Pages 8-26
2016