Flexible Correct-by-Construction Programming.

Tobias Runge Tabea Bordis Alex Potanin Thomas Thüm Ina Schaefer

Published in: CoRR (2022)

Keyphrases

programming language
construction process
real time
information retrieval
high level language
neural network
e learning
decision trees
image sequences
development environment