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.