4:00 PMFreeJoao F. Ferreira and Alexandra Mendes: Effective Formal VerificationTU Wien InformaticsGußhausstraße 25Career & Community
4:00 PMFreeArnon Sturm: From Requirements to Domain ModelsTU Wien InformaticsGußhausstraße 25Career & Community