40 citations · 45 across the 6 of their papers we have counts for
1 paper · 1 filter
Matteo Cimini
Program logics are a powerful formal method in the context of program verification. Can we develop a counterpart of program logics in the context of language verification? This pap…