Automatic verification of pascal programs.

Automatic verification of pascal programs.

Bibliographic Details
Main Author: Marmier, Edouard
Format: Book
Language:English
Published: Zurich Juris Druck 1975