Travelled to:
1 × USA
Collaborated with:
J.P.Bahsoun S.Merz
Talks about:
framework (1) program (1) concurr (1) object (1) formal (1)
Person: Corinne Servieres
DBLP: Servieres:Corinne
Contributed to:
Wrote 1 papers:
- FSE-1993-BahsounMS #concurrent #formal method #framework #programming
- A Framework for Programming and Formalizing Concurrent Objects (JPB, SM, CS), pp. 126–137.