Formal methods and mechanical verification applied to the development of a convergent distributed sorting program

T.E.J. Vos, S.D. Swierstra, I.S.W.B. Prasetya

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht, the Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume1996-37
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1996

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this