Title: Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-Web Speaker: Paolo Masci, Post-Doc Researcher, HASLab of the INESC-TEC Research Center (Portugal) and Visiting Researcher, Food and Drug Administration…
Title: Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-Web Speaker: Paolo Masci, Post-Doc Researcher, HASLab of the INESC-TEC Research Center (Portugal) and Visiting Researcher, Food and Drug Administration…