ISBN:
9783030634612
In:
iFM (16. : 2020 : Online), Integrated formal methods, Cham : Springer, 2020, (2020), Seite 41-59, 9783030634612
In:
year:2020
In:
pages:41-59
Language:
English
DOI:
10.1007/978-3-030-63461-2_3
Author information:
Drechsler, Rolf 1969-
Author information:
Große, Daniel