scientific article; zbMATH DE number 3617510
From MaRDI portal
Publication:4181248
zbMath0397.68010MaRDI QIDQ4181248
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Modelling and verification of Distributed Algorithms ⋮ A mechanical analysis of program verification strategies ⋮ Adequacy-preserving transformations of COSY path programs
This page was built for publication:
