Login
中文
Richard A Kemmerer
HIndex: 0
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Verification and validation
Theory of computation
Software verification
Formal methods
Verification
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Verification and validation
Theory of computation
Software verification
Formal methods
Verification
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Richard A Kemmerer
University Of California
106
Richard A Kemmerer
University Of California
48
Richard A Kemmerer
System Development Corporation
1
×
Share to your followers
Submit