Quasi-Boolean Encodings and Conditionals in Algebraic Specification

Cached

Download Links

by Răzvan Diaconescu
Citations:3 - 3 self