Verifying the Conversion into CNF in Dafny.

Viorel Iordache, Stefan Ciobaca

Browse the full WoLLIC paper archive.