✦ LIBER ✦
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
✍ Scribed by Bart Jacobs; Jan Smans; Frank Piessens; Wolfram Schulte
- Book ID
- 108126836
- Publisher
- Elsevier Science
- Year
- 2007
- Tongue
- English
- Weight
- 388 KB
- Volume
- 174
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.