Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Book
N Moreira
JN Oliveira
D Ratiu
R Guidotti
M Farrell
M Luckcuck
D Marmsoler
J Campos
T Astarte
L Gonnord
A Cerone
L Couto
B Dongol
M Kutrib
P Monteiro
D Delmas
Publication
Year of publication: 2020
Identifiers
ISSN: 0302-9743
Other: dblp:conf/fm/2019-w2