Advertisement

Bases of paths in correctness proofs

  • V. K. Evtimov
Theory Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • V. K. Evtimov
    • 1
  1. 1.Theoretical Cybernetics DepartmentKiev State UniversityUSSR

Personalised recommendations