Formal Methods - The Next 30 Years - Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings

AuthID
P-00S-83E
3
Author(s)
McIver, A
·
Oliveira, JN
Tipo de Documento
Proceedings
Year published
2019
Publicado
in FM in Lecture Notes in Computer Science
Volume: 11800
Indexing
Publication Identifiers
DBLP: conf/fm/2019
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.