Home
DCC eCatalog
C.__Loiseaux
Property preserving abstractions for the verification of concurrent systems
