Fox, A. C. J.; Harman, N. A. Algebraic models of correctness for microprocessors. (English) Zbl 0971.68102 Formal Asp. Comput. 12, No. 4, 298-312 (2000). MSC: 68Q65 PDFBibTeX XMLCite \textit{A. C. J. Fox} and \textit{N. A. Harman}, Formal Asp. Comput. 12, No. 4, 298--312 (2000; Zbl 0971.68102) Full Text: DOI
Sere, Kaisa; Waldén, Marina Data refinement of remote procedures. (English) Zbl 0972.68013 Formal Asp. Comput. 12, No. 4, 278-297 (2000). MSC: 68M14 PDFBibTeX XMLCite \textit{K. Sere} and \textit{M. Waldén}, Formal Asp. Comput. 12, No. 4, 278--297 (2000; Zbl 0972.68013) Full Text: DOI
Doherty, Gavin J.; Campos, José C.; Harrison, Michael D. Representational reasoning and verification. (English) Zbl 0972.68170 Formal Asp. Comput. 12, No. 4, 260-277 (2000). MSC: 68U35 68Q60 PDFBibTeX XMLCite \textit{G. J. Doherty} et al., Formal Asp. Comput. 12, No. 4, 260--277 (2000; Zbl 0972.68170) Full Text: DOI
Butterworth, Richard; Blandford, Ann; Duke, David Demonstrating the cognitive plausability of interactive system specifications. (English) Zbl 0972.68169 Formal Asp. Comput. 12, No. 4, 237-259 (2000). MSC: 68U35 PDFBibTeX XMLCite \textit{R. Butterworth} et al., Formal Asp. Comput. 12, No. 4, 237--259 (2000; Zbl 0972.68169) Full Text: DOI