Juan C. Bicarregui

No bio available. Add one in Open Library.

Books by Juan C. Bicarregui (50 max)

+ shelf+ list

Proof in VDM: a practitioner's guide

1994

Juan Carlos Bicarregui, Juan C. Bicarregui, John S. Fitzgerald

+ shelf+ list

Intra-modular structuring in model-oriented specification: expressing non-interference with read and write frames.

1995

Juan C. Bicarregui