Using Use Cases in Executable Z

Wolfgang Grieskamp, Markus Lepper. Using Use Cases in Executable Z. In ICFEM. pages 111-120, 2000. [doi]

Abstract

Abstract is missing.