Languages
Ait Ameur, Yamine.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
Ait Ameur, Yamine.; Clark Conference ((2005 :); Schewe, Klaus-Dieter.; SpringerLink (Online service)
(Language materials, printed)