16:00KostenlosJoao F. Ferreira and Alexandra Mendes: Effective Formal VerificationTU Wien InformaticsGußhausstraße 25Karriere & Community
16:00KostenlosArnon Sturm: From Requirements to Domain ModelsTU Wien InformaticsGußhausstraße 25Karriere & Community