Login / Signup
Tool Support for Correctness-by-Construction.
Tobias Runge
Ina Schaefer
Loek Cleophas
Thomas Thüm
Derrick G. Kourie
Bruce W. Watson
Published in:
Software Engineering (2021)
Keyphrases
</>
tool support
software development
software tools
design decisions
software engineering
software projects
digital preservation
construction process
open source
cooperative
multi agent
database systems
case study
web services
information systems
artificial intelligence
real world