9780387548340 - vdm 91: formal software development methods : proceedings (lecture notes in computer science) von prehn, s. (1 Ergebnisse)