3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference).
Published in: FMBC@CAV (2021)
Keyphrases
- los angeles
- international workshop
- formal methods
- selected papers
- acm sigkdd
- domain driven data mining
- revised selected papers
- computer personnel research group
- formal analysis
- lecture notes in artificial intelligence
- artificial intelligence
- software engineering
- knowledge based systems
- model checking
- annual conference
- formal specification
- safety critical
- process algebra
- stanford university
- pacific rim
- book constitutes the refereed proceedings
- expert systems
- international conference
- invited talk
- black box
- object oriented
- artificial intelligence in medicine
- association rules
- information systems