scientific article
From MaRDI portal
Publication:3735691
zbMath0601.03008MaRDI QIDQ3735691
Tinko Tinchev, Dimiter Vakarelov
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication: