Rabbitcount := Rabbitcount - 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationMathematics of program construction
Subtitle of host publication375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
EditorsJ.L.A. van de Snepscheut
Place of PublicationBerlin
PublisherSpringer
Chapter25
Pages409-420
Number of pages12
ISBN (Electronic)978-3-540-46191-3
ISBN (Print)3-540-51305-1, 978-3-540-51305-6
DOIs
Publication statusPublished - 1989

Publication series

NameLecture Notes in Computer Science (LNCS)
Volume375
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this