Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.

Yamine Aït Ameur Patrick Girard Francis Jambon Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. 91-109 1998 conf/ehci/1998 EHCI db/conf/ehci/ehci1998.html#AmeurGJ98