Normal view MARC view

Formal Methods Teaching Workshop and Tutorial (5th : 2023 : Lübeck, Germany) (Meeting Name)

Number of records used in: 1
Preferred form: Formal Methods Teaching Workshop and Tutorial (5th : 2023 : Lübeck, Germany)

Machine generated authority record

Work cat.: (AT-ISTA)657299: Formal Methods Teaching Workshop and Tutorial (5th : 2023 : Lübeck, Germany), Formal methods teaching :

Powered by Koha