[Zurück]

@book{TUW-165888,
    author = {Futschek, Gerald},
    title = {Programmentwicklung und Verifikation},
    publisher = {Springer-Verlag},
    year = {1989},
    address = {Wien New York},
    numpages = {183},
    isbn = {3-211-81867-7}
}