Software verification and analysis - Laski, Janusz (2009)
Keywords: Software Engineering -- Computer Science