Partial Correctness Assertions Provable in Dynamic Logics.

Daniel Leivant

Browse the full FOSSACS paper archive.