Travelled to:1 × United Kingdom
Collaborated with:M.T.Norris
Talks about:industrialis (1) telecommun (1) method (1) formal (1)
Person: Sinclair Guillaume Stockman
DBLP: Stockman:Sinclair_Guillaume
Contributed to:
Wrote 1 papers:
- ESEC-1989-NorrisS #formal method
- Industrialising Formal Methods for Telecommunications (MTN, SGS), pp. 159–175.












