Formal verification of cryptographic software implementations

Tese de doutoramento em Informática

Bibliographic Details
Main Author: Vieira, Bárbara Isabel Sousa (author)
Format: doctoralThesis
Language:eng
Published: 2012
Subjects:
519.68
Online Access:http://hdl.handle.net/1822/20770
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/20770
Description
Summary:Tese de doutoramento em Informática

Similar Items