6 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Ana Jovanovic, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debu…