Copying safety and liveness properties of computational artefacts.

Nicola Angius Giuseppe Primiero

Published in: J. Log. Comput. (2023)

Keyphrases

database
computational power
website
special case
desirable properties
data sets
machine learning
information retrieval
case study
scheduling problem
structural properties