Lucio, L. (2026). Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans.
Style de citation Chicago (17e éd.)Lucio, Levi. Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans. 2026.
Style de citation MLA (9e éd.)Lucio, Levi. Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.