Text Size

Technical Research: Specification and Verification


Specification and Verification

May 22nd, Friday, 08:30 am - 10:30 am
Session Chair: Elisabetta Di Nitto
Room: F2

08:30 - 09:00




Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi

Politecnico di Milano, Italy


09:00 - 09:30




Daniel Matichuk; Toby Murray; June Andronick; Ross Jeffery; Gerwin Klein; Mark Staples

NICTA, Australia; University of New South Wales, Australia


09:30 - 10:00




Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre

Universidad Nacional de Río Cuarto, Argentina; Universidad de Buenos Aires, Argentina


10:00 - 10:30




Ivan Bocic; Tevfik Bultan

University of California at Santa Barbara, USA

NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand