scientific article
From MaRDI portal
Publication:3773308
zbMath0634.68008MaRDI QIDQ3773308
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
