%0
Generic
%T
Theorem-based circuit derivation in cryptol
%A Launchbury, John
%I Association for Computing Machinery (ACM)
%@ 0362-1340
%@ 1558-1160
%K Computer Graphics and Computer-Aided Design
%K Software
%D 2012
%C Association for Computing Machinery (ACM)
%U http://slubdd.de/katalog?TN_libero_mab2