Verification of Sequential and Concurrent Programs.by Krzysztof R. Apt; Ernst-Rudiger Olderog

✍ Scribed by Review by: John C. Mitchell

• Book ID: 124945382
• Publisher: Society for Industrial and Applied Mathematics
• Year: 1993
• Tongue: English
• Weight: 319 KB
• Volume: 35
• Category: Article
• ISSN: 0036-1445
• DOI: 10.2307/2133165