Verification of JavaCard Programs (2001)

by Kurt Stenzel
Citations:23 - 5 self