Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018)

Michael J. Butler, Alexander Raschke. Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). Science of Computer Programming, 197:102514, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.