Login / Signup
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010.
Marc Frappier
Uwe Glässer
Sarfraz Khurshid
Régine Laleau
Steve Reeves
Published in:
Sci. Comput. Program. (2013)
Keyphrases
</>
selected papers
annual conference
international workshop
invited talk
computer science
program committee
mechanical properties
review process
room temperature
asia pacific
real world
evolutionary algorithm
multiresolution
dagstuhl castle