Gilles Bernot
Gilles Bernot.
Correctness proofs for abstract implementation.
Information and Computation
, 80(2):121-151, February 1989.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database