An Introduction to Assertional Reasoning for Concurrent Systems

An Introduction to Assertional Reasoning for Concurrent Systems

An Introduction to Assertional Reasoning for Concurrent Systems | Author(s): Shankar A.U. | Year: 1993 | Language: English | Pages: 38 | Size: 3 MB | Extension: pdf…