Formal specification and verification of a broadcasting protocol: a refinement-based approach.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Browse the full KES paper archive.