Problem-oriented verification system and its application to linear algebra programs
Authors:
V. A. Nepomniaschy;A. A. Sulimov
Affiliations:
-;-
Venue:
Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development