12 results on '"Moore, R. D."'
Search Results
2. The tactic language
3. Supporting formal software development
4. Implementing the mural proof assistant
5. Foundations of specification animation
6. Foundation
7. Introduction to mural
8. Conclusions
9. Instantiation
10. General introduction
11. Case Studies
12. The Role of Intracellular pH in Hormone Action
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.