Publications

Merging Cloned Alloy Models with Colorful Refactorings

AuthID
P-00Y-8Z3

Author(s)

Liu, C

Macedo, N

Cunha, A

Editor(s)

Carvalho,G;Stolz,V

Document Type

Proceedings Paper

Year published

2020

Published

in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12475, Pages: 173-191

Indexing

Dblp^®/en/publications/view/992227

Crossref^®

Unpaywall^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-63882-5_11

Dblp: conf/sbmf/LiuMC20

Unpaywall: 10.1007/978-3-030-63882-5_11

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Merging Cloned Alloy Models with Colorful Refactorings

Useful Links

Get Help

Federated Authentication (Click on the image)

Merging Cloned Alloy Models with Colorful Refactorings

Useful Links

Get Help