From Object-Orientation to Formal Methods Olaf Owe, Stein Krogdahl, Tom Lyche 456,60 DKK See product
