PakCat catalogue record

Software verification and analysis

By Laski, Janusz

Bibliographic details

Publisher
Springer
Publication place
New Delhi ; | New York