Verification of JavaCard Programs (2001)

by Kurt Stenzel
Citations:24 - 5 self