Program inversion in the refinement calc
โ
J. von Wright
๐
Article
๐
1991
๐
Elsevier Science
๐
English
โ 842 KB