Skip to content

On Algebraic Specifications of Abstract Data Types.

Bakhadyr Khoussainov

VenueBCSL
Year2003
ProceedingsCSL

Browse the full CSL paper archive.