A Study of Collaborative Work: Answers to a Test on Formal Specification in B.

Henri Habrias, Pascal Poizat, Jean-Yves Lafaye

Browse the full FM paper archive.