335 citations · 833 across the 44 of their papers we have counts for
1 paper · 2 filters
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…