default search action

combined dblp search
author search
venue search
publication search

ask others

11th SBMF 2008: Salvador, 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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2008
Patrícia D. L. Machado:
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008. Electronic Notes in Theoretical Computer Science 240, Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Machado09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Machado09
Patrícia D. L. Machado:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CatanoBGOR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CatanoBGOR09
Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda:
A Case Study in JML-Assisted Software Development. 5-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Cavalcanti09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cavalcanti09
Ana Cavalcanti:
Stateflow Diagrams in Circus. 23-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CostaR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostaR09
Simone André da Costa, Leila Ribeiro:
Formal Verification of Graph Grammars using Mathematical Induction. 43-60
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CostaMMN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostaMMN09
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto:
Specification and Runtime Verification of Java Card Programs. 61-78
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DantasDGMJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DantasDGMJ09
Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior:
Verified Compilation and the B Method: A Proposal and a First Appraisal. 79-96
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SilvaM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SilvaM09
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
Model Checking Merged Program Traces. 97-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OliveiraDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraDF09
Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine:
Combining Decision Procedures by (Model-)Equality Propagation. 113-128
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DidierFM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DidierFM09
André Didier, Adalberto Farias, Alexandre Mota:
Checking Z Data Refinements Using Traces Refinement. 129-148
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FalcaoIS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FalcaoIS09
Flávia Falcão, Juliano Iyoda, Augusto Sampaio:
Multiple Synchrony in MSC. 149-166
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jeron09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jeron09
Thierry Jéron:
Symbolic Model-based Test Selection. 167-184
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MyreenG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MyreenG09
Magnus O. Myreen, Michael J. C. Gordon:
Transforming Programs into Recursive Functions. 185-200
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PernaW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PernaW09
Juan Ignacio Perna, Jim Woodcock:
Mechanised Wire-wise Verification of Handel-C Synthesis. 201-219
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RegnierLA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RegnierLA09
Paul Regnier, George Lima, Aline Maria Santos Andrade:
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. 221-238
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZeydaC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZeydaC09
Frank Zeyda, Ana Cavalcanti:
Mechanical Reasoning about Families of UTP Theories. 239-257

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.