Languages
World Congress on Formal Methods (2019 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part I /
by:
World Congress on Formal Methods (2019 :); Sekerinski, Emil.; SpringerLink (Online service)
(Electronic resources)