Verification of sequential and concurrent programs /
Gries, David .
Verification of sequential and concurrent programs / Textual Documents Krzysztof R Apt. - 2 / . - New York : Springer-Verlag , 1991. - NULL ; NULL.
Concurrent programs Measurement Software Verification of sequential Programs
005.14 / APT
Verification of sequential and concurrent programs / Textual Documents Krzysztof R Apt. - 2 / . - New York : Springer-Verlag , 1991. - NULL ; NULL.
Concurrent programs Measurement Software Verification of sequential Programs
005.14 / APT