New Editorial Team for SACS after 16 Years, pages 181-182

Authors: B. Aman, G. Ciobanu

Abstract | BibTeX | Full Text (PDF)

Four Notions of Fault for Program Specifications, pages 183-209

Authors: J. A. Bergstra

Abstract | References | BibTeX | Full Text (PDF)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems, pages 211-254

Authors: W. Du, Y. Deng, D. Gebler

Abstract | References | BibTeX | Full Text (PDF)

An Enhanced Fluid Registration for Image Multi-Frame Super Resolution, pages 255-283

Authors: A. Laghrib, A. Hadri , M. Hakim

Abstract | References | BibTeX | Full Text (PDF)

Program Algebra for Random Access Machine Programs, pages 285-319

Authors: C.A. Middelburg

Abstract | References | BibTeX | Full Text (PDF)