×

Found 3 Documents (Results 1–3)

100
MathJax

Using CafeOBJ to mechanise refactoring proofs and application. (English) Zbl 1279.68113

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 XML Cite
Full Text: DOI

Filter Results by …

Document Type

Serial

Year of Publication

Classification

Software