Travelled to:
1 × Switzerland
Collaborated with:
P.Dini W.L.Melo
Talks about:
architectur (1) industri (1) softwar (1) formal (1) experi (1)
Person: Amina Belkhelladi
DBLP: Belkhelladi:Amina
Contributed to:
Wrote 1 papers:
- ESEC-FSE-1997-DiniBM #architecture #experience #formal method #industrial
- Formalizing Software Architectures: An Industrial Experience (PD, AB, WLM), pp. 527–529.