Predicate calculus and program semantics: E.W. Dijkstra and C.S. Scholten, (Springer, Berlin, 1989)

✍ Scribed by Egon Börger

• Publisher: Elsevier Science
• Year: 1994
• Tongue: English
• Weight: 975 KB
• Volume: 23
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/0167-6423(94)90002-7