"Formal Methods as a Link between Software Code and Legal Rules."

Daniel Le Métayer (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics