Publicações

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(es)

Yamine Aït Ameur; Shengchao Qin

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

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, Páginas: 154-169

Conference

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

Indexing

Scopus^®

Dblp^®/pt/publications/view/802427

Crossref^®

Google Scholar^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

Links Úteis

Ajuda