Skip to content

Traceability and Accountability by Construction.

Julius Wenzel, Maximilian A. Khl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns

VenueCISoLA
Year2024
ProceedingsISoLA (4)

Browse the full ISoLA paper archive.