scientific article; zbMATH DE number 3936469

zbMATH Open0584.68012MaRDI QIDQ3707345FDOQ3707345

Authors: Carlo Ghezzi, Mehdi Jazayeri 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)