Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee

H. Friedrich
Abstract:
What problem does this paper attempt to address?