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]

Authors

Dirk Beyer 0001

This author has not been identified. Look up 'Dirk Beyer 0001' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google