PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Reynolds, Charles"

Author of the publication

copydeleteadd this publication to your clipboard
Induction as the Basis for Program Verification.

, and . IEEE Trans. Software Eng., 2 (4): 244-252 (1976)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Charles Clark University of Stuttgart

 

Other publications of authors with the same name

Induction as the Basis for Program Verification (Abstract)., and . ICSE, page 389. IEEE Computer Society, (1976)Requirements for a computer science curriculum emphasizing information technology: subject area curriculum issues., and . SIGCSE, page 247-251. ACM, (1996)An Undergraduate Information Assurance Curriculum.. IAW, page 10-16. IEEE, (2003)Information Security Education for the Next Millennium: Building the Next Generation of Practitioners (Forum)., , , , , and . ACSAC, page 265-. IEEE Computer Society, (1999)Automated data verification in a format-free environment., , , , and . ACM SIGSOFT Software Engineering Notes, 31 (2): 1-4 (2006)Induction as the Basis for Program Verification., and . IEEE Trans. Software Eng., 2 (4): 244-252 (1976)Joint Training of Neural Network Ensembles., , , , , and . CoRR, (2019)Organization and training of a cyber security team., , and . SMC, page 4311-4316. IEEE, (2003)Defining Privileged Reagents Using Subsimilarity Comparison., and . Journal of Chemical Information and Modeling, 44 (5): 1810-1815 (2004)Quantum Mechanical Pairwise Decomposition Analysis of Protein Kinase B Inhibitors: Validating a New Tool for Guiding Drug Design., , , , and . Journal of Chemical Information and Modeling, 50 (4): 651-661 (2010)