Abstract State Machines, Alloy, B, Tla, Vdm, and Z : 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings
ISBN: 9783662436523
Information Available:
Summary
Inside Flap
Copyright held by Baker & Taylor.