×

Found 2 Documents (Results 1–2)

Newest Citations Relevance
da Costa, Umberto Souza; Martins Moreira, Anamaria; Musicante, Martin A.; Souza Neto, Plácido A.

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).
MSC:  68N19 68N15 68N20 68Q60
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field

all top 3

Software