Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Alexander Raschke, Klaus Reichl, Thai Son Hoang, Michael Butler
Details
- OL Work ID
- OL22028657W
Subjects
Programming languages (electronic computers)Logic, symbolic and mathematical