C. B. Breunesse


AuthID: R-00G-0XA

Publications Requiring Validation

1
TITLE: Formal methods for smart cards: An experience report  Full Text
AUTHORS: Breunesse, CB; Catano, N; Huisman, M; Jacobs, B;
PUBLISHED: 2005, SOURCE: Science of Computer Programming, VOLUME: 55, ISSUE: 1-3 SPEC. ISS.
INDEXED IN: Scopus CrossRef

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service