Verified Software : Theories, Tools, Experiments

Ediciones (1)

• Verified Software : Theories, Tools, Experiments (2008)

  Springer London, Limited · inglés · ISBN 9783540878735

Más obras de Natarajan Shankar

MMechanical verification of a schematic Byzantine clock synch

Mechanical verification of a schematic Byzantine clock synchronization algorithm