PakCat catalogue record

Software verification and analysis

By "Laski, Janusz"

Bibliographic details