Você está em: Start > Publications > View > Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Map of Premises
Publications
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Title
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Type
International Conference Proceedings Book
Year
2020
Conference International
23rd Brazilian Symposium on Formal Methods, SBMF 2020
25 November 2020 through 27 November 2020
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-030-63881-8
Electronic ISBN:
978-3-030-63881-8
Collection:
Lecture Notes in Computer Science
Vol.:
12475
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Liu, C (Author) (Other); Macedo, N (Author) (FEUP); Cunha, A (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-15 at 14:34:19 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-07-15 at 14:34:19 | Privacy Policy | Personal Data Protection Policy | Whistleblowing