Mathamatical foundationA relational calculus for program construction by parts
Under an Elsevier user license
open archive
Cited by (0)
This research is supported by NSERC (Natural Sciences and Engineering Research Council) of Canada and by FCAR (Fonds pour la Formation de Chercheurs et l'Aide à la Recherche) of Québec.
Copyright © 1996 Published by Elsevier B.V.