@InProceedings{Beckert01,
author = {Bernhard Beckert},
title = {A Dynamic Logic for the Formal Verification of
{J}ava {C}ard Programs},
booktitle = {International Workshop on Java on Smart Cards:
Programming and Security ({Java} {Card} 2000),
Revised Papers},
venue = {Cannes, France},
editor = {I. Attali and T. Jensen},
pages = {6--24},
publisher = {Springer},
series = {LNCS},
volume = {2041},
year = {2001}
}
A Dynamic Logic for the Formal Verification of Java Card Programs
| Autor(en): | Bernhard Beckert |
|---|---|
| In: | International Workshop on Java on Smart Cards: Programming and Security (Java Card 2000), Revised Papers |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 2041 |
| Jahr: | 2001 |
| Seiten: | 6-24 |