Case Study: Specification and Refinement of the PI-Bus.

Karen Seidel

Browse the full FM paper archive.