Publications

Type Checking Cryptography Implementations

AuthID
P-008-3R8

Author(s)

Barbosa, M

Moss, A

Page, D

Rodrigues, NF

Silva, PF

Editor(s)

Farhad Arbab; Marjan Sirjani

Document Type

Proceedings Paper

Year published

2012

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7141 LNCS, Pages: 316-334

Conference

4Th Ipm International Conference on Fundamentals of Software Engineering, Fsen 2011, Date: 20 April 2011 through 22 April 2011, Location: Tehran

Indexing