Login / Signup
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Published in:
ICFEM (2020)
Keyphrases
</>
international conference
formal methods
software engineering
computational molecular biology
computational intelligence
ifip wg
computer and information science
artificial intelligence
web intelligence
model checking
koli calling
formal specification
web information systems and mining
databases
open source