"Specification: The Biggest Bottleneck in Formal Methods and Autonomy."

Kristin Yvonne Rozier (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics