Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David W. J. Stringer-Calvert
Using PVS to Prove a Z Refinement: A Case Study
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Single Complete Refinement Rule for Z
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
IO-refinement in Z
Rape in Bangladesh: A Heinous Crime Tough to Prove
The International Journal of Social Sciences and Humanities Invention
Modeling of ALFA Programs Using PVS Theorem Prover
Consistency and Refinement for Partial Specification in Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
EEG Biofeedback Case Studies Using Live Z-Score Training and a Normative Database
Journal of Neurotherapy
Using Skype in a Primary Class: A Case Study
Bellaterra Journal of Teaching and Learning Language and Literature
Linguistics
Education
Literature
Literary Theory
Language
Correction To: A Security Review of Local Government Using NIST CSF: A Case Study
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
Dynamical Convergence of a Certain Polynomial Family to F_a(z) = Z + E^z + A
Annales Academiae Scientiarum Fennicae Mathematica
Mathematics
