Special issue 'Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010'

Autor: Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve
Přispěvatelé: Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke] (GRIL), Département d'informatique [Sherbrooke] (UdeS), Faculté des sciences [Sherbrooke] (UdeS), Université de Sherbrooke (UdeS)-Université de Sherbrooke (UdeS)-Faculté des sciences [Sherbrooke] (UdeS), Université de Sherbrooke (UdeS)-Université de Sherbrooke (UdeS), Software Technology Lab, School of Computing Science, Simon Fraser University (SFU.ca), University of Texas at Austin [Austin], Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves, Laleau, Régine
Jazyk: angličtina
Rok vydání: 2013
Předmět:
Zdroj: Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. Elsevier, 2013
Popis: Volume 78, Number 4; International audience; no abstract
Databáze: OpenAIRE