Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008).
Patrícia D. L. MachadoPublished in: Sci. Comput. Program. (2012)
Keyphrases
- selected papers
- formal methods
- international workshop
- annual conference
- invited talk
- formal analysis
- safety critical
- knowledge based systems
- artificial intelligence
- lecture notes in artificial intelligence
- model checking
- formal specification
- computer science
- model checker
- program committee
- process algebra
- review process
- dagstuhl castle
- asia pacific
- provably correct
- conference proceedings
- software engineering
- development lifecycle
- databases
- information systems
- modeling language