All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 03:42, 27 January 2023 Benkoo2 talk contribs created page Thesis/On the Correctness of Refinement Steps in Program Development (Created page with "{{cite thesis |last=Back, |first=Ralph-Johan |date=April 1978 |author-link=Ralph-Johan Back |title=On the Correctness of Refinement Steps in Program Development |type= Ph.D. |chapter= |publisher=University of Helsinki |docket= |oclc= |url=http://users.abo.fi/backrj/index.php?page=searchform.php&menu=3 |location=local page }} <noinclude> A shorter version of this thesis is published here<ref>...")