Programmverifikation

DOI10.1007/978-3-642-57947-9zbMath0821.68081OpenAlexW4234231758MaRDI QIDQ4294559

Krzysztof R. Apt, Ernst-Ruediger Olderog

Publication date: 16 May 1994

Published in: Springer-Lehrbuch (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-57947-9

zbMATH Keywords

distributed programsprogram verificationparallel programsequential program

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Programmverifikation