SDL-2000: A Language with a Formal Semantics

Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz. SDL-2000: A Language with a Formal Semantics. In Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS, 2000. [doi]

Abstract

Abstract is missing.