Certifying delta-oriented programs.

Vítor Rodrigues Simone Donetti Ferruccio Damiani

Published in: Softw. Syst. Model. (2019)

Keyphrases

database
computer programs
neural network
real world
information systems
database systems
expert systems
software engineering
fixpoint
intermediate level
control structures
provably correct