Home Page di Pierluigi San Pietro
(See the home
page in English for research interests, CV, etc.)
e-mail
(no spam):
CORSI DM270
Prova Finale (Ingegneria del Software)
Ingegneria del Software B (allievi TLC)
FORMAL METHODS FOR CONCURRENT AND REAL-TIME SYSTEMS (UIC 545)