3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Zachary Flores, Angelo Taranto, Eric Bond +1
What provides the highest level of assurance for correctness of execution within a programming language? One answer, and our solution in particular, to this problem is to provide a…