Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Apt, K.R.: Ten years of Hoare logic: a survey — part I. ACM Transactions on Programming Languages and Systems 3(4), 431–483 (1981)
2. Apt, K.R.: Formal justification of a proof system for Communicating Sequential Processes. Journal of the ACM 30(1), 197–216 (1983)
3. Apt, K.R., Francez, N., de Roever, W.P.: A proof system for Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems 2, 359–385 (1980)
4. Lecture Notes in Computer Science;F.S. Boer de,2007
5. Gorelick, G.A.: A complete axiomatic system for proving assertions about recursive and non-recursive programs. Technical Report 75, Department of Computer Science, University of Toronto (1975)