author = { Attar, Pejman Nice AND Boussinot, Frédéric AND Castellani, Ilaria },

title = { Vers un langage synchrone sûr et securisé ; Towards a safe and secure synchronous language },

keywords = { Sémantique formelle , Compilation , Formal semantics , Synchronous , Type system , Security , Big-step semantics , Small-step semantics , Synchrone , Reactive , Multi-coeur , Language , Multi-core , Sécurité , Bisimulation , Réactif },

year = {2013-12-12},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }