The quest goes on : a survey of proofsystems for partial correctness of CSP

J.J.M. Hooman, W.P. Roever, de

Research output: Book/ReportReportPopular

141 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherEindhoven University of Technology
Number of pages51
Publication statusPublished - 1986

Publication series

NameEUT report. WSK, Dept. of Mathematics and Computing Science
ISSN (Print)0167-9708

Cite this