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