Trace-based network proof systems Quotes

Rate this book
Clear rating
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