Search Results for 'destecs'

destecs published presentations and documents on DocSlides.

Tool Support for Formal Methods in Overture

by trish-goza

Who. am I?. Professor Peter Gorm Larsen. ; MSc, ...