Normal view MARC view

International Conference on Integrated Formal Methods (18th : 2023 : Leiden, Netherlands) (Meeting Name)

Number of records used in: 1
Preferred form: International Conference on Integrated Formal Methods (18th : 2023 : Leiden, Netherlands)

Machine generated authority record

Work cat.: (AT-ISTA)657824: International Conference on Integrated Formal Methods (18th : 2023 : Leiden, Netherlands), iFM 2023 :

Powered by Koha