QRscript specification.

Stefano Scanzio Matteo Rosani Mattia Scamuzzi Gianluca Cena

Published in: CoRR (2024)

Keyphrases

specification language
high level
database
data sets
computer vision
user defined
formal specification
formal verification
ims learning design