Original language | English |
---|---|
Title of host publication | Fundamentals of Software Engineering - FSEN 2011 |
Publisher | Springer Berlin Heidelberg |
Pages | 316-334 |
Volume | 7141 |
Publication status | Published - 2011 |
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 proceeding › Conference Contribution (Conference Proceeding)
3
Citations
(Scopus)