Tool-Assisted Specification and Verification of the JavaCard Platform (2002)

by G Barthe, P Courtieu, G Dufay, S Melo de Sousa
Venue:In Proceedings of AMAST’02