Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models.
Saved in:
| Title: | Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. |
|---|---|
| Authors: | Marussy, Kristóf1, marussy@mit.bme.hu, Ficsor, Attila1, ficsor@mit.bme.hu, Semeráth, Oszkár1, semerath@mit.bme.hu, Varró, Dániel2, daniel.varro@liu.se |
| Source: | ICSE: International Conference on Software Engineering; 2024, p64-68, 5p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3639478.3640045 |
|---|
