scientific article; zbMATH DE number 3936469

MaRDI QIDQ3707345zbMATH OpenFDO

Authors Carlo Ghezzi, Mehdi Jazayeri

Publication date 1982

zbMATH Keywords

data structuresprogram correctnessprogramming language conceptssoftware design methodology

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)

Cited in

(3)

• Forced termination of loops
• Sequential and parallel enumeration
• Translating Java for multiple model checkers: The Bandera back-end

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707345)