1819-87R-SDSA: Practice: The elevator problem in Alloy | e-Learning - UNIMIB

Skip to main content

Home
More

English ‎(en)‎

English ‎(en)‎ Italiano ‎(it)‎

You are currently using guest access

Log in

Percorso della pagina

Postgraduate
PhD School
Doctoral programs' teaching activities
Computer Science / Informatica
2018-2019

Static and Dynamic Software Analysis
Alloy - 17/09/2019
Practice: The elevator problem in Alloy

Course full name

Static and Dynamic Software Analysis

Course ID number

1819-87R-SDSA

Practice: The elevator problem in Alloy

Click elevator_tosolve.als link to view the file.

You are currently using guest access (Log in)

Get the mobile app

Powered by Moodle

© 2024 Università degli Studi di Milano-Bicocca

Privacy policy
Accessibility
Statistics