scientific article
From MaRDI portal
Publication:3785900
zbMath0643.68011MaRDI QIDQ3785900
Paweł Urzyczyn, Wojciech Kowalczyk
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
This page was built for publication:
