×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 113-128 (2009).
MSC:  68T15 68Q60 68T20
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software