Completeness with finite systems of intermediate assertions for recursive program schemes
By: [by] K.R. Apt and L.G.L.T. Meertens.
Contributors: Meertens, L G L T.; Mathematisch Centrum. Afdeling Informatica.
Series: IW 84/77
Publisher: Mathematisch Centrum
Published: 1977
Place of publication: Amsterdam
Language: eng
Notes: Preprint.