Formal Derivation of Functional Architectural Design.

Ridha Khdri, Imen Bourguiba

Browse the full SEFM paper archive.