Travelled to:1 × United Kingdom
Collaborated with:J.N.Reed F.Guigand
Talks about:approach (1) develop (1) versus (1) system (1) reason (1) formal (1) deduct (1) model (1) check (1) two (1)
Person: J. E. Sinclair
DBLP: Sinclair:J=_E=
Contributed to:
1999Wrote 1 papers:
- IFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning
- Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.