Joao F. Ferreira and Alexandra Mendes: Effective Formal Verification
Join us on Nov 16, when Guest Professors Ferreira & Mendes will give a lecture on generating proofs and assessing specifications for formal verification!…
About this event
Join us on Nov 16, when Guest Professors Ferreira & Mendes will give a lecture on generating proofs and assessing specifications for formal verification!
TU Wien, Campus Gußhaus, EI 5 Hochenegg-Hörsaal, 1040 Vienna, Gußhausstraße 25, Stiege 8, 2. Stock, CF0229
More from TU Wien Informatics
- Attendance unconfirmedFree
Krzysztof Pietrzak: Blockchains and Sustainability
TU Wien Informatics- Career & Community
- Free
Arnon Sturm: From Requirements to Domain Models
TU Wien InformaticsGußhausstraße 25- Career & Community
You might also like
- Attendance unconfirmedFree
Gründerio Coaching – deine kostenlose Tryout Session
Gründerio- Startups & Product
- Career & Community
- Attendance unconfirmedFree
Build & Connect Meetup mit Expertentalk
Gründerio- Startups & Product
- Career & Community