Leila Ribeiro · 3 obras en el catálogoObrasFFormal Methods : Foundations and ApplicationsFormal Methods : Foundations and ApplicationsAA telephone's system specification using graph grammarsA telephone's system specification using graph grammars1996FFormal Methods TeachingFormal Methods Teaching
AA telephone's system specification using graph grammarsA telephone's system specification using graph grammars1996