Incremental Type Checking in Z

A M L de Vasconcelos, J A McDermid

Research output: Book/ReportOther report

Original languageEnglish
PublisherDepartment of Computer Science, University of York
Publication statusPublished - 1 Dec 1992

Publication series

NameComputer Science Technical Report Series
PublisherDepartment of Computer Science, University of York
VolumeYCS-1992-185

Cite this