@techreport{2003-Hubbers-ReasoningAbout, author = "{Hubbers}, E.M.G.M. and {Poll}, E.", title = "{Reasoning about Card Tears and Transactions in Java Card}", number = "NIII--R0322", month = "October", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0322", research_group = "icis", class = "Report" }