Ten Years of Hoare's Logic$:$ A Survey $-$ Part I. Apt, K. ACM Transactions on Programming Languages and Systems, 3(4):431-483, oct, 1981.
bibtex   
@article{Apt81,
	Author = {K.R. Apt},
	Code = {ATPSDT},
	Issn = {0164-0925},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {oct},
	Number = {4},
	Pages = {431-483},
	Title = {Ten Years of {Hoare}'s Logic$:$ {A} Survey $-$ {Part I}},
	Volume = {3},
	Year = {1981}}

Downloads: 0