ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science