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

Daniel Le Mtayer

Browse the full SEFM paper archive.