6 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
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…