A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systemsAndre WindischAgotado4,3Notifícame
