Você está em: Start > Publications > View > Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Map of Premises
Publications
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Title
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Type
International Conference Proceedings Book
Year
2020
Conference International
7th International Conference on Rigorous State-Based Methods, ABZ 2020
27 May 2020 through 29 May 2020
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-030-48076-9
Electronic ISBN:
978-3-030-48076-9
Collection:
Lecture Notes in Computer Science
Vol.:
12071
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Nuno Macedo (Author) (FEUP); Alcino Cunha (Author) (Other); José Pereira (Author) (Other); Renato Carvalho (Author) (Other); Ricardo Silva (Author) (Other); Ana C. R. Paiva (Author) (FEUP); Miguel Sozinho Ramalho (Author) (Other); Daniel Silva (Author) (Other)
2020
Article in International Conference Proceedings Book
Cunha, A (Author) (Other); Macedo, N (Author) (FEUP); Liu, C (Author) (Other)
2020
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-07-14 at 17:52:13 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-07-14 at 17:52:13 | Privacy Policy | Personal Data Protection Policy | Whistleblowing