Formal Methods. FM 2019 International Workshops

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