Go to:

Content (tecla de atalho: c)
Options (tecla de atalho: o)
Main Menu (tecla de atalho: m)
Iniciar sessão autenticada (tecla de atalho: s)

Logótipo

FMDUP

help

Você está em: Start > Publications > View > SCIENCE OF COMPUTER PROGRAMMING

Map of Premises

Publication

Publication Search

SCIENCE OF COMPUTER PROGRAMMING

Title

SCIENCE OF COMPUTER PROGRAMMINGExport publication in the APA format Export publication in the EXCEL format Export publication in the RIS format

Type

International Conference Proceedings Book

Date

2022

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

Recommend this page Top

Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto I Terms and Conditions I Acessibility I Index A-Z
Page created on: 2025-08-25 at 18:51:02 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book