@techreport{2006-Oostdijk-RemoteMethod, author = "{Oostdijk}, M.D. and {Warnier}, M.E.", title = "{On the combination of Java Card Remote Method Invocation and JML}", number = "NIII--R0321", month = "October", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0321", research_group = "icis", class = "Report" }