Verification of sequential and concurrent programs /

Bibliographic Details
Main Author:	Apt, Krzysztof R., 1949-
Other Authors:	Olderog, E.-R
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1991]
Series:	Texts and monographs in computer science.
Subjects:	Computer software > Verification.

Remote Storage