Collaborated with:
J.A.Goguen K.Lin G.Rosu A.Sato
Talks about:
distribut (1) method (1) formal (1) cooper (1) tool (1)
Person: A. Mori
DBLP: Mori:A=
Contributed to:
Wrote 1 papers:
- ASE-1997-GoguenLMRS #distributed #formal method #tool support
- Distributed Cooperative Formal Methods Tools (JAG, KL, AM, GR, AS), pp. 55–62.