Goré RP, Nguyên PT. CardS4: modal theorem proving on Java smart cards. JTIT [Internet]. 2002 Dec. 30 [cited 2026 Jun. 15];10(4):68-80. Available from: https://www.jtit.pl/jtit/article/view/144