Enviar aquest missatge de text: Software verification and analysis : an integrated, hands-on approach / Janusz Laski, William Stanley.