Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andy Galloway
Specification and Refinement in General Correctness
Related publications
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Consistency and Refinement for Partial Specification in Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming
Software
Interaction, Specification Refinement, and Tradeoff Exploration in Optimization-Based Design of Engineering Systems
Annual Review in Automatic Programming
General Specification Testing With Locally Misspecified Models
Econometric Theory
Economics
Econometrics
Social Sciences
Refinement Multidimensional Dynamic Inequalities With General Kernels and Measures
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases.
Journal of Computer Science and Cybernetics
Modular Supervisory Control With General Indecomposable Specification Languages
