Abstract State Machines, Alloy, B, Tla, Vdm, and Z : 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings
ISBN: 9783319912714
Information Available:
Cover Image
Copyright held by Baker & Taylor.