Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > SCIENCE OF COMPUTER PROGRAMMING
Publication

Publications

SCIENCE OF COMPUTER PROGRAMMING

Title
SCIENCE OF COMPUTER PROGRAMMING
Type
International Conference Proceedings Book
Year
2022
Conference International
23rd Brazilian Symposium on Formal Methods (SBMF)
ELECTR NETWORK, NOV 25-27, 2020
Other information
Language: English
Type (Professor's evaluation): Scientific
Vol.: 14010
Documents
We could not find any documents associated to the publication.
Publications included
Merging cloned Alloy models with colorful refactoringsImported from Authenticus
Article in International Conference Proceedings Book
Liu, C (Author) (Other); Macedo, N (Author) (FEUP); Cunha, A (Author) (Other)
2022
Indexing
Recommend this page Top
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 19:57:13 | Privacy Policy | Personal Data Protection Policy | Whistleblowing