Formal Modeling for Verifying SCA Dynamic Composition with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Browse the full WETICE paper archive.