Computer assisted manipulation of algebraic process specifications

J.F. Groote, B. Lisser

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages16
Publication statusPublished - 2001

Publication series

NameCWI report. SEN-R : software engineering
Volume0117
ISSN (Print)1386-369X

Cite this