Inference and abstraction of the biometric passport (0)

by F Aarts, J Schmaltz, F W Vaandrager
Venue:Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion