Formal verification in Scala with Leon

Formal verification in Scala with Leon

8b62135e6fe874b24bc01ed7cee448c7?s=128

Romain Ruetschi

August 28, 2015
Tweet