Step-wise Development of Provably Correct Actor Systems

Activity: Talk or presentationTalk at conference or symposiumScience to science

Period25 Oct 2021
Event titleISOLA 2021 - 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Event typeConference
LocationRhodes, GreeceShow on map

Fields of Expertise

  • Information, Communication & Computing