scientific article; zbMATH DE number 1232237
From MaRDI portal
Publication:4223062
zbMath0907.68121MaRDI QIDQ4223062
Publication date: 3 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies for image processing (68U10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: