Thai Son Hoang

Books that list Thai Son Hoang among their authors but not as the lead author: co-written works, collections and compilations.

Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler · 2016