default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SBMF 2005: Porto Alegre, RS, Brazil
- Augusto Sampaio:
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005. Electronic Notes in Theoretical Computer Science 184, Elsevier 2007 - Augusto Sampaio:
Preface. 1-2 - Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. 3-19 - David Déharbe
, Silvio Ranise, Jorgiano Vidal:
Distributing the Workload in a Lazy Theorem-Prover. 21-37 - Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio:
Using CafeOBJ to Mechanise Refactoring Proofs and Application. 39-61 - Manuela Xavier, Ana Cavalcanti:
Mechanised Refinement of Procedures. 63-80 - Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe:
Developing Java Card Applications with B. 81-96 - Rafael Magalhães Borges, Alexandre Cabral Mota:
Integrating UML and Formal Methods. 97-112 - Fábio Pasini, Fernando Luís Dotti:
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. 113-131 - Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes:
Implementing Local Intervals in CASL. 133-149 - Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro:
Stochastic Object-Based Graph Grammars. 151-170 - David Faitelson, James Welch, Jim Davies:
From Predicates to Programs: The Semantics of a Method Language. 171-187 - Carlos Bazílio, Edward Hermann Haeusler, Markus Endler:
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. 189-207 - Rohit Gheyi, Tiago Massoni, Paulo Borba:
A Static Semantics for Alloy and its Impact in Refactorings. 209-233
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-02 01:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
