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