Publications

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

AuthID
P-00R-FKV

Author(s)

Gomes, L

Madeira, A

Jain, M

Barbosa, LS

Editor(s)

Yamine Aït Ameur; Shengchao Qin

Document Type

Proceedings Paper

Year published

2019

Published

in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11852, Pages: 154-169

Conference

21St International Conference on Formal Engineering Methods, Icfem 2019, Date: 5 November 2019 through 9 November 2019

Indexing

Scopus^®

Dblp^®/en/publications/view/802427

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-32409-4_10

DBLP: conf/icfem/GomesMJB19

SCOPUS: 2-s2.0-85076191021

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

Useful Links

Get Help