A parallel program that generates the Möbius sequence

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

No abstract.

Original language	English
Title of host publication	Formal development of programs and proofs
Editors	E.W. Dijkstra
Place of Publication	Reading MA
Publisher	Addison-Wesley
Pages	171-182
ISBN (Print)	0-201-17237-2
Publication status	Published - 1990

@inbook{a8a6cb9d93914d50a7444b02cd236589,

title = "A parallel program that generates the M{\"o}bius sequence",

abstract = "No abstract.",

author = "T. Verhoeff and M. Rem",

year = "1990",

language = "English",

isbn = "0-201-17237-2",

pages = "171--182",

editor = "E.W. Dijkstra",

booktitle = "Formal development of programs and proofs",

publisher = "Addison-Wesley",

}