Map of Premises
Publications
INTEGRATED FORMAL METHODS, IFM 2022
Title
INTEGRATED FORMAL METHODS, IFM 2022
Type
International Conference Proceedings Book
Year
2022
Conference International
17th International Conference on Integrated Formal Methods (IFM)
Univ Svizzera Italiana, Software Inst, Lugano, SWITZERLAND, JUN 07-10, 2022
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-031-07726-5
Electronic ISBN:
978-3-031-07727-2
Collection:
Lecture Notes in Computer Science
Vol.:
13274
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Grilo, M (Author) (Other); Campos, J (Author) (Other); Ferreira, JF (Author) (Other); Almeida, JB (Author) (Other); Mendes, A (Author) (FEUP)
2022
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-11-18 at 06:29:11 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-11-18 at 06:29:11 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book