Keyphrases
- formal methods
- software engineering
- lecture notes
- international workshop
- artificial intelligence
- international conference
- safety critical
- information systems
- computer science
- knowledge based systems
- model checking
- database
- lecture notes in artificial intelligence
- formal analysis
- process algebra
- international symposium
- software architecture