1 citations · 3 across the 12 of their papers we have counts for
1 paper · 1 filter
Satoshi Kura
Weakest preconditions are a useful notion for program verification as they reduce a problem of program verification to a problem of constraint solving. Category-theoretic generalis…