Pragmatic equivalence and safety checking in Cryptol

Levent Erkök, John Matthews
2008 Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09  
doi:10.1145/1481848.1481860 dblp:conf/plpv/ErkokM09 fatcat:icktgbj275gongmmsxxrn6oqoe