Travelled to:
1 × USA
Collaborated with:
B.Belkhouche
Talks about:
prototyp (1) specifi (1) system (1) formal (1) rippl (1)
Person: Bart J. Geraci
DBLP: Geraci:Bart_J=
Contributed to:
Wrote 1 papers:
- ICRE-1994-BelkhoucheG #named #prototype
- Ripple: a formally specified prototyping system (BB, BJG), pp. 150–153.