👤

Klaus Reichl

1 book

Books by Klaus Reichl

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