Skip to content

Type checking cryptography implementations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Manuel B M Barbosa
  • Andrew D Moss
  • Daniel Page
  • N. Rodrigues
  • P.F. Silva
Original languageEnglish
Title of host publicationFundamentals of Software Engineering - FSEN 2011
Publisher or commissioning bodySpringer Berlin Heidelberg
Pages316-334
Volume7141
DatePublished - 2011

Documents

View research connections

Related faculties, schools or groups