scientific article
From MaRDI portal
zbMath0722.68077MaRDI QIDQ3210191
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80)
Related Items
Uses Software
