Travelled to:1 × Ireland
Collaborated with:I.Keidar N.A.Lynch A.A.Shvartsman
Talks about:increment (1) techniqu (1) inherit (1) simul (1) proof (1) build (1) base (1)
Person: Roger Khazan
DBLP: Khazan:Roger
Contributed to:
2000Wrote 1 papers:
- ICSE-2000-KeidarKLS #incremental #proving #simulation
- An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.