scientific article; zbMATH DE number 3596231

zbMath0383.68025MaRDI QIDQ4162641

John B. Kam, Jeffrey D. Ullman, Amelia C. Fong

Publication date: 1975

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Efficient symbolic analysis of programs, Monotone data flow analysis frameworks