Travelled to:1 × Spain
1 × The Netherlands
Collaborated with:R.E.Fields ∅
Talks about:vdm (2) specif (1) reason (1) extend (1) relat (1) refin (1) about (1)
Person: Morten Elvang-Gøransson
DBLP: Elvang-G=oslash=ransson:Morten
Contributed to:
1994
1991Wrote 3 papers:
- FME-1994-Elvang-GoranssonF #refinement
- An Extended VDM Refinement Relation (MEG, REF), pp. 175–189.
- VDME-1991-Elvang-Goransson #reasoning #specification
- Reasoning about VDM Specifications (MEG), pp. 343–355.