home
>
book reviews
> David E. Lightfoot
Google >
David E. Lightfoot
author : David E. Lightfoot
Short works
A Formal specification in B of a medical decision support system. 2003.
(In
ZB 2003
)