Tools for the construction and analysis of systems

Dirk Beyer 0001, Marieke Huisman. Tools for the construction and analysis of systems. STTT, 22(6):685-687, 2020. [doi]

Abstract

Abstract is missing.