PakCat catalogue record Software verification and analysis By "Laski, Janusz" Bibliographic details Publication year2009 Material typeBook