Design and Verification of Communication Procedures: A Bottom-Up Approach.

Pierre Azma, Jean-Michel Ayache, Bernard Berthomieu

Browse the full ICSE paper archive.