Travelled to:
1 × USA
Collaborated with:
C.Schahczenski
Talks about:
transit (1) softwar (1) specif (1) rigor (1)
Person: N. W. Morgan
DBLP: Morgan:N=_W=
Contributed to:
Wrote 1 papers:
- ICRE-1994-MorganS #specification
- Transitioning to rigorous software specification (NWM, CS), pp. 110–117.