Traits for Correct-by-Construction Programming.

Tobias Runge Alex Potanin Thomas Thüm Ina Schaefer

Published in: CoRR (2022)

Keyphrases

programming language
data sets
website
computer programming
machine learning
digital libraries
construction process
programming concepts
high level language