scientific article; zbMATH DE number 1759736
From MaRDI portal
Publication:4536751
zbMath0988.68538MaRDI QIDQ4536751
Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer, Frank S. de Boer
Publication date: 15 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
This page was built for publication:
