On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

AuthID
P-00R-FKV
4
Author(s)
Jain, M
·
2
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
Publication Identifiers
Dblp: conf/icfem/GomesMJB19
Scopus: 2-s2.0-85076191021
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.