[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || A programming logic for a verified structured assembly language
Voronkov, AndreiVolume:
10.1007/BF
Year:
1992
Language:
english
DOI:
10.1007/BFb0013078
File:
PDF, 305 KB
english, 1992