Lee más sobre Institution-based foundations for verification in the context of model-driven engineering
Lee más sobre {MINERVA:} Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools
