Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
🇫🇷 Analyse Statique par Interprétation Abstraite de Propriétés Temporelles des Programmes
Date
Thursday, January 28, 2016
8:45 AM — 10:10 AM
Event
Congrès SIF 2016
Location
🇫🇷 Strasbourg, France
Links
Project
×
Cite