Debugging Declarative Models in Alloy.

Guolong Zheng Hamid Bagheri ThanhVu Nguyen

Published in: ICSME (2020)

Keyphrases

probability distribution
computational models
databases
data mining
information systems
website
complex systems
statistical model
domain independent