Formal Methods. FM 2019 International Workshops

Thumbnail Image
Files
P-00S-N5W.pdf (245.92 KB)
Date
2020
Authors
Farrell,M
Delmas,D
Monteiro,P
Kutrib,M
Dongol,B
Couto,L
Cerone,A
Gonnord,L
Astarte,T
Campos,J
Show 7 more
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/11774
 http://dx.doi.org/10.1007/978-3-030-54994-7
Collections
HASLab - Other Publications