@Inproceedings{erkok-matthews-cryptolEqChecking-09, author = "Levent {Erk\"{o}k} and John Matthews", title = "Pragmatic Equivalence and Safety Checking in {C}ryptol", booktitle = "Programming Languages meets Program Verification, PLPV'09, Savannah, Georgia, USA", publisher = "ACM Press", month = jan, pages = "73--81", year = "2009", }