default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Notes in Theoretical Computer Science, Volume 240

> Home > Journals > Electronic Notes in Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 240, July 2009

Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Brazil, 26-29 August 2008

- view
  - electronic edition via DOI (open access)
  - references & citations
- 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)
  - references & 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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)
  - references & citations
- 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

a service of

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.