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

researchr

You are not signed in
Sign in
Sign up

Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Volume 10817 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Conference: asm2018

This author has not been identified. Look up 'Michael J. Butler' in GoogleThis author has not been identified. Look up 'Alexander Raschke' in GoogleThis author has not been identified. Look up 'Thai Son Hoang' in GoogleThis author has not been identified. Look up 'Klaus Reichl' in Google

runs on WebDSL