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!…
Über dieses 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
Mehr von TU Wien Informatics
- Teilnahmeform unbestätigtKostenlos
Krzysztof Pietrzak: Blockchains and Sustainability
TU Wien Informatics- Karriere & Community
- Kostenlos
Arnon Sturm: From Requirements to Domain Models
TU Wien InformaticsGußhausstraße 25- Karriere & Community
Das könnte dich auch interessieren
- Teilnahmeform unbestätigtKostenlos
Gründerio Coaching – deine kostenlose Tryout Session
Gründerio- Startups & Produkt
- Karriere & Community
- Teilnahmeform unbestätigtKostenlos
Build & Connect Meetup mit Expertentalk
Gründerio- Startups & Produkt
- Karriere & Community