Gore, RajeevNguyen, Phuong2015-12-103540426108http://hdl.handle.net/1885/66155CARDS4: Modal Theorem Proving on Java Smartcards20012015-12-10