Prabhaker Mateti
Prabhaker Mateti.
A decision procedure for the correctness of a class of programs.
Journal of the ACM
, 28(2):215-232, April 1981.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database