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