Sinclair Guillaume Stockman (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 M. T. Norris, Sinclair Guillaume Stockman: Industrialising Formal Methods for Telecommunications. ESEC 1989: 159-175

Selection of 1 from 3 records - Sinclair Guillaume Stockman has 9 coauthors