On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.

Leandro Gomes, Alexandre Madeira, Manisha Jain, Lus Soares Barbosa

Browse the full ICFEM paper archive.