Article citationsMore>>

Cook, B., Podelski, A. and Rybalchenko, A. (2011) Proving Program Termination. Communications of the ACM, 54, 88-98.
https://doi.org/10.1145/1941487.1941509

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top