A Domain Specific Language for Cryptography

Giovanni Agosta, Gerardo Pelosi
January 2007
Cite
Type
Conference paper
Publication
Proceedings of the Forum on Specification and Design Languages (FDL) 2007