Yazar
Ait Ameur, Yamine. editor.
Format:
Electronic Resources
Alıntı:
, France, June 2-6, 2014. Proceedings / Ait Ameur, Yamine. editor.
View Other Search Results
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / Boniol
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: