Você está em: Start > Publications > View > Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Map of Premises
Publications
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Title
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Type
International Conference Proceedings Book
Year
2017
Conference International
13th International Conference on Integrated Formal Methods, IFM 2017
20 September 2017 through 22 September 2017
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-319-66844-4
Electronic ISBN:
978-3-319-66844-4
Collection:
Lecture Notes in Computer Science
Vol.:
10510
Documents
We could not find any documents associated to the publication.
Publications included
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication ModulesImported from Authenticus
Article in International Conference Proceedings Book
Ferreira, JF (Author) (Other); Johnson, SA (Author) (Other); Mendes, A (Author) (Other); Brooke, PJ (Author) (Other)
2017
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-09-29 at 17:29:21 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-09-29 at 17:29:21 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book