search

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods
32 stars 4 forks source link

Software Testing and Quality Assurance #10

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: CITS5501 University hosting the course: The University of Western Australia Contact person: Arran Stewart, arran.stewart@research.uwa.edu.au Concepts taught: Alloy Tools used: Alloy Webpage: http://teaching.csse.uwa.edu.au/units/CITS5501/