Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chaochen Zhou
Program Verification by Using DISCOVERER
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Christopher Columbus, the Discoverer
HAHR - Hispanic American Historical Review
Cultural Studies
History
Discoverer of Cortical Rhythm
BMJ
Runtime Checking for Program Verification
On Temporal Program Verification Rules
RAIRO. Informatique théorique
Biometric Verification by Palmprint Using Contourlet Transform
Intelligent Decision Technologies
Computer Vision
Pattern Recognition
Human-Computer Interaction
Artificial Intelligence
Software
A Unified Approach of Program Verification
Acta Universitatis Sapientiae, Informatica
Program Verification With Interacting Analysis Plugins
Formal Aspects of Computing
Theoretical Computer Science
Software
Andrew Wittman—Discoverer of Zinc
Journal of Chemical Education
Chemistry
Education
