A parallel program that generates the Möbius sequence

T. Verhoeff, M. Rem

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

No abstract.
Original languageEnglish
Title of host publicationFormal development of programs and proofs
EditorsE.W. Dijkstra
Place of PublicationReading MA
PublisherAddison-Wesley
Pages171-182
ISBN (Print)0-201-17237-2
Publication statusPublished - 1990

Cite this