Dienstag, 03. Mai 2016 ab 19:00 Uhr¶ Location¶ TAO-Software Lendplatz 45 - 8020 Graz https://tao-digital.at Attendees : 13 Sessions¶ Einführung in SQLAlchemy¶ by Ernesto Rico-Schmidt An introduction to Formal Verification¶ by Lukas Prokop