Laski, J., & Stanley, W. [ca. 2009]. Software verification and analysis : an integrated, hands-on approach [Book]. London: Springer.
ISO-690 (author-date, English)LASKI, Janusz und STANLEY, William, 2009. Software verification and analysis : an integrated, hands-on approach. London: Springer. ISBN 9781848822399.
Modern Language Association 9th editionLaski, J., und W. Stanley. Software verification and analysis : an integrated, hands-on approach. book, Springer, 2009.
Mohr Siebeck - Recht (Deutsch - Österreich)Laski, Janusz/Stanley, William: Software verification and analysis : an integrated, hands-on approach, London 2009.
Emerald - HarvardLaski, J. und Stanley, W. (2009), Software verification and analysis : an integrated, hands-on approach, Bd. , Springer, London.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.