DMCA

Quasi-Boolean Encodings and Conditionals in Algebraic Specification

by Răzvan Diaconescu
Citations:5 - 3 self