1819-87R-SDSA: Slides: Promela - @ Spin Website | 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
Model Checking - 18/09/2019
Slides: Promela - @ Spin Website

Course full name

Static and Dynamic Software Analysis

Course ID number

1819-87R-SDSA

Slides: Promela - @ Spin Website

Slides: Promela

Click on Slides: Promela - @ Spin Website to open the resource.

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