Gries, David  . <br/><br/>
Verification of sequential and concurrent programs /   Textual Documents 
Krzysztof R Apt. 
 - 2 /   . 
 - New York :   Springer-Verlag ,   1991. 
 - NULL ;   NULL. 
<br/><br/><label>Subjects--Index Terms: </label>Concurrent programs Measurement Software Verification of sequential Programs 
<br/><br/><label>Dewey Class. No.: </label>005.14  / APT