Normal view MARC view

Computer science (Topical Term)

Preferred form: Computer science

Machine generated authority record

Work cat.: (OSt)15296: NASA Formal Methods, 2023