Generating correct programs from logic specifications
Davis, Ruth E.
Generating correct programs from logic specifications by Ruth E. Davis. - Santa Cruz University of California 1979 - 193p.
001.6424 / N7915
Generating correct programs from logic specifications by Ruth E. Davis. - Santa Cruz University of California 1979 - 193p.
001.6424 / N7915