Normal view MARC view

Computer science (Topical Term)

Preferred form: Computer science

Machine generated authority record

Work cat.: (OSt)15620: Formal Methods for Industrial Critical Systems, 2023