Verifying the Conversion into CNF in Dafny. - Viorel Iordache; Stefan Ciobaca (WoLLIC, 2021)