On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

No Thumbnail Available
Files
P-00R-FKV.pdf (449.02 KB)
Date
2019
Authors
Madeira,A
Leandro Rafael Gomes
Jain,M
Luís Soares Barbosa
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/11231
 http://dx.doi.org/10.1007/978-3-030-32409-4_10
Collections
HASLab - Indexed Articles in Conferences