Proving monitors revisited : a first step towards verifying object oriented systems

R.T. Gerth, W.P. Roever, de

Research output: Book/ReportReportAcademic

72 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages32
Publication statusPublished - 1986

Publication series

NameComputing science notes
Volume8613

Cite this