ISSE

Search

Verification of JavaCard Programs

Kurt Stenzel

Verification of JavaCard Programs

2001-05
published 2001 in: Germany Technical report 2001-5, Institut für Informatik, Universität Augsburg


Downloads: