Home
 

Relative Completeness in Algebraic Specification

Lin Huimin

No abstract available.

LFCS report ECS-LFCS-87-43

Previous | Index | Next