The mathematics of directed specifications

J.T. Udding, T. Verhoeff

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationSt. Louis MO, USA
PublisherWashington University, Department of Computer Science
Number of pages49
Publication statusPublished - 1988

Publication series

NameTechnical Report
VolumeWUCS-88-20

Cite this