Experience with correctness-by-construction.

Bruce W. Watson Derrick G. Kourie Loek G. Cleophas

Published in: Sci. Comput. Program. (2015)

Keyphrases

construction process
artificial intelligence
information systems
database systems
digital libraries
user experience
learning curve
automatic construction
construction industry