1 paper
Ana Jovanovic, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties be-fore systems are built, to automated testing and deb…