AuthorsJ. E. Hannay
TitleSpecification Refinement With System F
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1999
Conference NameComputer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683
Pagination530-545
PublisherSpringer-Verlag
Citation KeySE.5.Hannay.1999.b
Download (pdf 237.87 KB)