On the synthesis of reliable programs/
Lucena, Carlos José Pereira de 1943-
On the synthesis of reliable programs/ by Carlos José Pereira de Lucena. - 1975. - xiii, 228 leaves: ill.; 28 cm. - Computer languages group .
Includes vita and abstract. Photocopy available from Xerox University Microfilms.
Thesis (Ph. D.)--UCLA--Computer Science.
Bibliography: leaves 206-211.
Computer programs---Reliability.
005 / L935o
On the synthesis of reliable programs/ by Carlos José Pereira de Lucena. - 1975. - xiii, 228 leaves: ill.; 28 cm. - Computer languages group .
Includes vita and abstract. Photocopy available from Xerox University Microfilms.
Thesis (Ph. D.)--UCLA--Computer Science.
Bibliography: leaves 206-211.
Computer programs---Reliability.
005 / L935o