Abstract
Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have