Explore the latest books of this year!
Bookbot

Walter Kirchgässner

    Ein Modell zur Analyse programminhärenter Zusicherungen