Advertisement

A verifier and timing analyser for simple imperative programs

  • M. J. C. Gordon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 697)

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • M. J. C. Gordon
    • 1
  1. 1.University of Cambridge Computer LaboratoryCambridgeEngland

Personalised recommendations