Static Testing: Using the Weakest Pre-condition Calculus

Calculus

von Elmar Keij

Taschenbuch

EAN=ISBN-13: 978-3-8433-5493-6

ISBN-10: 3-8433-5493-6

LAP LAMBERT Academic Publishing · 2010