scientific article; zbMATH DE number 1834573

zbMath1005.68898MaRDI QIDQ4779116

Mary Jean Harrold, Donglin Liang

Publication date: 24 November 2002

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (1)

Modular inference of subprogram contracts for safety checking

This page was built for publication: