Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11231
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMadeira,Aen
dc.contributor.authorLeandro Rafael Gomesen
dc.contributor.authorJain,Men
dc.contributor.authorLuís Soares Barbosaen
dc.contributor.other5603en
dc.contributor.other6759en
dc.date.accessioned2020-06-16T09:10:34Z-
dc.date.available2020-06-16T09:10:34Z-
dc.date.issued2019en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/11231-
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-030-32409-4_10en
dc.description.abstracten
dc.languageengen
dc.titleOn the Generation of Equational Dynamic Logics for Weighted Imperative Programsen
dc.typePublicationen
dc.typeconferenceObjecten
Appears in Collections:HASLab - Indexed Articles in Conferences

Files in This Item:
File SizeFormat 
P-00R-FKV.pdf449.02 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.