👤

J. C. Bicarregui

2 books

Books by J. C. Bicarregui

Proof in VDM: Case Studies
Proof in VDM: Case Studies
1998
Reasoning about VDM developmen
Reasoning about VDM developments using the VDM support tool in Mural
1992