Jaime Alberto Chavarriaga LozanoCarlos Francisco Noguera GarciaViviane JonckersRubby Casallas2026-03-222026-03-222013https://biblio.vub.ac.be/vubir/supporting-multilevel-configuration-with-featuresolution-graphs--formal-semantics-and-alloy-implementation(aba5a822-eb2e-4a1d-9e89-3ea864c9b38a).htmlhttps://andeanlibrary.org/handle/123456789/54420Citaciones: 4enFeature (linguistics)Computer scienceSemantics (computer science)Programming languageFormal semantics (linguistics)Theoretical computer scienceSupporting Multi-level Configuration with Feature-Solution Graphs -- Formal Semantics and Alloy Implementationarticle