Trace-based network proof systems Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Trace-based network proof systems: Expressiveness and completeness (Technical report. Cornell University. Dept. of Computer Science)

Trace-based network proof systems: Expressiveness and completeness by David Gries
0 ratings, 0.00 average rating, 0 reviews

Trace-based network proof systems Quotes Showing 0-0 of 0

All Quotes
Quotes By David Gries