1997
Specification of components in a proposition solver
Publication
Publication
In this paper we present a specification of components and data types for a proposition solver. The specification language we use is $mu$CRL. The components are specified in such a way that they may serve as building blocks in various applications.
| Additional Metadata | |
|---|---|
| CWI | |
| Software Engineering [SEN] | |
| Organisation | Software Analysis and Transformation |
|
Lisser, B., & van Wamel, J. J. (1997). Specification of components in a proposition solver. Software Engineering [SEN]. CWI. |
|
