IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Daniela Petrisan

IRIF
Universite de Paris
France
https://www.irif.fr/~petrisan/