Open luigiapetre opened 6 years ago
Course code, if applicable: University hosting the course: University of Limerick Contact person: Tiziana Margaria, tiziana.margaria@lero.ie Concepts taught: ormal models, logics and model checking Tools used: Webpage:
Course code, if applicable: University hosting the course: University of Limerick Contact person: Tiziana Margaria, tiziana.margaria@lero.ie Concepts taught: ormal models, logics and model checking Tools used: Webpage: