Abstract State Machines, Alloy, B, Tla, Vdm, and Z : 5th International Conference
ISBN: 9783319336008
Information Available:
Cover Image
Copyright held by Baker & Taylor.