Paper accepted at SBMF
November 18, 2020
Our work on merging cloned Alloy models with colorful refactorings has been accepted at the 23rd Brazilian Symposium on Formal Methods (SBMF).
Latest Announcements
Tags
- Lenses (1)
- Compositionality (1)
- CRIS (5)
- ETL (1)
- Invariants (2)
- Least-change (6)
- MDE (40)
- Model checking (7)
- Model finding (4)
- Model repair (3)
- Non-determinism (1)
- ORCID (5)
- Presentations (4)
- Projects (35)
- Publications (15)
- Robotic software (5)
- ROS (5)
- Software quality (2)
- Spreadsheets (1)
- Supervisions (3)
- Synchronization (5)
- Tool (26)
Subscribe
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.