Expressing GMoDS models into object-oriented models using the event-B language - Brezovan, Marius (Informatica (Ljubljana), 2016)
Keywords: computer science; računalništvo