![]() |
|
Verification of Sequential and Concurrent Programs
Authors: K.R. Apt, F.S. de Boer, and E.-R. Olderog (third extended edition, with a forward by A. Pnueli; Springer, 2009, ISBN: 978-1-84882-744-8)
http://www.springer.com/computer/theoretical+computer+science/book/978-1-84882-744-8
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]