scientific article; zbMATH DE number 3614143
From MaRDI portal
Publication:4178457
zbMath0395.68011MaRDI QIDQ4178457
No author found.
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)
Related Items (1)
This page was built for publication:
