Verification of sequential and concurrent programs
By: Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Contributors: Olderog, E.-R.
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1991
Place of publication: New York
Language: eng
Number of pages: 441
Subjects: Computer software -- Verification.
Notes: Includes bibliographical references and indexes.