scientific article
From MaRDI portal
Publication:3558859
zbMath1213.68180MaRDI QIDQ3558859
Publication date: 10 May 2010
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2008/A2008-01/JFLP-A2008-01.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Searching and sorting (68P10) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: