Chemical Case Studies in KeYmaera X.

Published in: FMICS (2022)

Keyphrases

case study
lessons learned
open source
design process
real world
information systems
literature review
development process
knowledge management
neural network
drug discovery
chemical reactions
data sets
business process
software development
digital libraries
decision trees
web pages
genetic algorithm
databases