Burkhardt Renz

Model Finding und Model Checking

Burkhardt Renz: Die Hard in Electrum. THM, Juni 2021
Portable Document Format, 728 KB, Stand 28.06.2021
Burkhardt Renz: Quelle zu Die Hard in Electrum. Juni 2021
Alloy Source, 1 KB, Stand 27.06.2021