scientific article
From MaRDI portal
Publication:2767075
zbMath0983.68583MaRDI QIDQ2767075
Michel Rueher, Arnaud Gotlieb, Bernard Botella
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Correct approximation of IEEE 754 floating-point arithmetic for program verification ⋮ Automated debugging based on a constraint model of the program and a test case ⋮ Sharpening constraint programming approaches for bit-vector theory ⋮ Test Data Generation of Bytecode by CLP Partial Evaluation
This page was built for publication:
