Juan Carlos Bicarregui

• Proof in VDM