scientific article; zbMATH DE number 1200109

MaRDI QIDQ4211368zbMATH OpenFDO

Authors Militon Frenţiu, Ioan Lazăr, Simona Motogna, V. Prejmeran

Publication date 17 September 1998

zbMATH Keywords

program semanticsalgorithm analysis

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Data structures (68P05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10) Semantics in the theory of computing (68Q55)

Cited in

(5)

• scientific article; zbMATH DE number 194641 (Why is no real title available?)
• scientific article; zbMATH DE number 7657198 (Why is no real title available?)
• Verified Textbook Algorithms
• scientific article; zbMATH DE number 53101 (Why is no real title available?)
• scientific article; zbMATH DE number 1872988 (Why is no real title available?)

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 Q4211368)