scientific article

zbMath0991.68011MaRDI QIDQ2767989

Greg Nelson

Publication date: 30 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

software productivityextended static checking

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• SIMPLIFY
• ESC/Java

This page was built for publication: