Travelled to:
1 × Spain
Collaborated with:
P.Hitchcock
Talks about:
formal (2) approach (1) softwar (1) specif (1) integr (1) notat (1) semi (1)
Person: Sergiu Dascalu
DBLP: Dascalu:Sergiu
Contributed to:
Wrote 1 papers:
- SAC-2002-DascaluH #approach #specification
- An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.