Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J Derrick
A Single Complete Refinement Rule for Z
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
IO-refinement in Z
A Novel Rule Refinement Method for SMT Through Simulated Post-Editing
Communications in Computer and Information Science
Mathematics
Computer Science
Consistency and Refinement for Partial Specification in Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using PVS to Prove a Z Refinement: A Case Study
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Existence and Nonexistence of Complete Refinement Operators
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
T-Spline Local Refinement as a Belief Revision System: A Rule-Based Implementation
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
Single Image Dehazing Using Air Light Refinement
INTERNATIONAL JOURNAL OF RECENT TRENDS IN ENGINEERING & RESEARCH
Simulating Gamified Crowdsourcing of Knowledge Base Refinement: Effects of Game Rule Design
Journal of Information and Telecommunication
