Showing 1 - 1 results of 1 for search 'Marmier, Edouard', query time: 0.01s Refine Results
  1. 1

    Automatic verification of pascal programs. by Marmier, Edouard

    Published 1975
    Book

    Automatic verification of pascal programs.

Search Tools: