Formal specification of dependable pervasive applications.

Antonio Coronato, Giuseppe De Pietro

Browse the full APSCC paper archive.