Thai Son Hoang profile picture

Thai Son Hoang

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z