45 citations · 137 across the 23 of their papers we have counts for
1 paper · 1 filter
Christopher M. Poskitt, Detlef Plump
The core challenge in a Hoare- or Dijkstra-style proof system for graph programs is in defining a weakest liberal precondition construction with respect to a rule and a postconditi…