Levent Erkök, John Matthews. High assurance programming in Cryptol. In Frederick T. Sheldon, Greg Peterson, Axel W. Krings, Robert K. Abercrombie, Ali Mili, editors, Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009. pages 60, ACM, 2009. [doi]
Abstract is missing.