scientific article
From MaRDI portal
Publication:3709855
zbMath0585.68014MaRDI QIDQ3709855
Grazyna Mirkowska, Andrzej Salwicki
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationimplementationprogramming languagespecificationsinference rulesalgorithmic logicreliable softwaremodular softwaresemantical propertiesLOGLAN programming language
This page was built for publication: