Gore, RajeevNguyen, Phuong2015-12-102015-12-101509-4553http://hdl.handle.net/1885/61390CardS4: modal theorem proving on Java smart cards20022015-12-10