scientific article; zbMATH DE number 5593279
From MaRDI portal
Publication:5192941
zbMath1187.68318MaRDI QIDQ5192941
Andrzej Zbrzezny, Artur Rataj, Bożena Woźna
Publication date: 10 August 2009
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)
Uses Software
This page was built for publication:
