Exercises in formula manipulation

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

1 Downloads (Pure)

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	139-158
ISBN (Print)	0-201-17237-2
Publication status	Published - 1990

@inbook{b44b5d0e9c274fc08fda5fa93fb3df7b,

title = "Exercises in formula manipulation",

abstract = "No abstract.",

author = "W.H.J. Feijen and A. Bijlsma",

year = "1990",

language = "English",

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

pages = "139--158",

editor = "E.W. Dijkstra",

booktitle = "Formal development of programs and proofs",

publisher = "Addison-Wesley",

}