scientific article; zbMATH DE number 683356
From MaRDI portal
Publication:4312477
zbMath0812.68090MaRDI QIDQ4312477
Publication date: 8 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
