Type checking cryptography implementations

Manuel B M Barbosa, Andrew D Moss, Daniel Page, N. Rodrigues, P.F. Silva

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

3 Citations (Scopus)
Original languageEnglish
Title of host publicationFundamentals of Software Engineering - FSEN 2011
PublisherSpringer Berlin Heidelberg
Pages316-334
Volume7141
Publication statusPublished - 2011

Cite this