Constable, R. L. S. D. Johnson , C. D. Eichenlaub, An Introduction to the PL/CV2 Programming Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1982 (1982) |
Languages mentioned
- PL/CS {1974} PL/I subdialect for the CPS
- PL/CV {1975} Verifying logical dialect of PL/CS
- PL/CV2 {1982} Verifying logical dialect of PL/CS
- PL/CV3 {1984}
|
|