scientific article; zbMATH DE number 194617

zbMath0697.68024MaRDI QIDQ4692604

William R. Murray

Publication date: 5 June 1993

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

zbMATH Keywords

intelligent tutoring systemsanalysis of programsautomatic program debugging

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)

Related Items (1)

Logical debugging

This page was built for publication: