Found 2 Documents (Results 1–2)
Specification and runtime verification of Java card programs. (English) Zbl 1347.68063
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008)
Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 61-78 (2009).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
Main Field
- 68-XX (2)