Projects top banner

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

Locators

Alternative Titles

Preprint

File