Verification of JavaCard Programs (2001)

by Kurt Stenzel
Citations:22 - 5 self