Sciweavers

LOGCOM
2006
98views more  LOGCOM 2006»
13 years 10 months ago
Computability in Specification
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
Raymond Turner