×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 39-61 (2007).
MSC:  68Q42 68N30
PDF BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Serial
Year of Publication
Classification
Software