default search action

combined dblp search
author search
venue search
publication search

ask others

8th SBMF 2005: Porto Alegre, RS, Brazil

> Home > Conferences and Workshops > SBMF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/sbmf/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2005
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Sampaio07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Sampaio07
Augusto Sampaio:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MachadoSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MachadoSM07
Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. 3-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeharbeRV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeharbeRV07
David Déharbe, Silvio Ranise, Jorgiano Vidal:
Distributing the Workload in a Lazy Theorem-Prover. 21-37
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JuniorSC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JuniorSC07
Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio:
Using CafeOBJ to Mechanise Refactoring Proofs and Application. 39-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/XavierC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/XavierC07
Manuela Xavier, Ana Cavalcanti:
Mechanised Refinement of Procedures. 63-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GomesMD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GomesMD07
Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe:
Developing Java Card Applications with B. 81-96
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BorgesM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BorgesM07
Rafael Magalhães Borges, Alexandre Cabral Mota:
Integrating UML and Formal Methods. 97-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PasiniD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PasiniD07
Fábio Pasini, Fernando Luís Dotti:
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. 113-131
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SantiagoML07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SantiagoML07
Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes:
Implementing Local Intervals in CASL. 133-149
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MendizabalDR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MendizabalDR07
Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro:
Stochastic Object-Based Graph Grammars. 151-170
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FaitelsonWD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FaitelsonWD07
David Faitelson, James Welch, Jim Davies:
From Predicates to Programs: The Semantics of a Method Language. 171-187
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BazilioHE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BazilioHE07
Carlos Bazílio, Edward Hermann Haeusler, Markus Endler:
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. 189-207
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GheyiMB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GheyiMB07
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.