On Teaching Logic and Algebraic Specification

Cached

Download Links

by Till Mossakowski