Amanote Research
Register
Sign In
A Single Complete Refinement Rule for Z
Journal of Logic and Computation
- United Kingdom
doi 10.1093/logcom/10.5.663
Full Text
Open PDF
Abstract
Available in
full text
Categories
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Date
October 1, 2000
Authors
J Derrick
Publisher
Oxford University Press (OUP)
Related search
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
