Normal view MARC view

semantic analysis, programs,computer science (Topical Term)

Number of records used in: 1

Preferred form: semantic analysis, programs,computer science

Machine generated authority record.

Work cat.: (OSt)613050: laski, janusz 892045, software verification and analysis , 2012