Article citationsMore>>

M. Hinchey, M. Jackson, and P. Cousot, J. P. Bowen, and T. Margeria, “Software engineering and formal methods,” Communications of the ACM, Vol. 51, No. 9, pp. 54–59, September 2008.

has been cited by the following article:

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