author : Ib Holm Sorensen

Short works

• Using B to Specify, Verify and Design Hardware Circuits. 1998. (In ZUM '98 )