PakCat catalogue record

Software verification and analysis

By Laski, Janusz

Bibliographic details

Subjects

Software Engineering