Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)
Ein wissenschaftliches Werk aus der vierten ABZ-Konferenz in Toulouse, das Beiträge zu abstrakten Zustandsmaschinen und formalen Sprachen wie Alloy, ...