Full Text Available
Access Full Text at Repository
Search Results - (program OR programme)
-
Providing mechanical support for program development in a weakest precondition calculus
Published 2013Subjects: “…Calculus -- Computer programs…”
Get full text
Thesis