author : David E. Lightfoot

Short works

• A Formal specification in B of a medical decision support system. 2003. (In ZB 2003 )