On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

No Thumbnail Available
Date
2019
Authors
Madeira,A
Leandro Rafael Gomes
Jain,M
Luís Soares Barbosa
Journal Title
Journal ISSN
Volume Title
Publisher