Volume XXXII, Issue 2, 2022

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

Authors: B. Aman, G. Ciobanu

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

Authors: J. A. Bergstra

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems, pages 211-254

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

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

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

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

Authors: C.A. Middelburg