3 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Andrew E. Santosa
In this article we investigate the relationships between the classical notions of weakest precondition and weakest liberal precondition, and provide several results, namely that in…