Index Terms-Model inference ; formal model ; IOSTS ; rule-based system

Domain-Driven Model Inference Applied To Web Applications
sébastien Salva, William Durand
PDF Cite