6 citations · 6 across the 1 of their papers we have counts for
1 paper
Nabil M. Kabbani, Daniel Welch, Caleb Priester +4
This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, compone…