Travelled to:
1 × Switzerland
Collaborated with:
A.Belkhelladi W.L.Melo
Talks about:
architectur (1) industri (1) softwar (1) formal (1) experi (1)
Person: Petre Dini
DBLP: Dini:Petre
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.