Travelled to:1 × Belgium
Collaborated with:∅
Talks about:implement (1) address (1) specif (1) keynot (1) formal (1) actual (1) deriv (1) will (1) kbsa (1) be (1)
Person: Cordell Green
DBLP: Green:Cordell
Contributed to:
2010Wrote 1 papers:
- ASE-2010-Green #implementation #specification
- Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.