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]
No references recorded for this publication.
No citations of this publication recorded.