A small problem on rectangles

A.J.M. Gasteren, van

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

@inbook{c52b65dbf85a4f84b5100e940e9f257d,

title = "A small problem on rectangles",

abstract = "No abstract.",

author = "\{Gasteren, van\}, A.J.M.",

year = "1990",

language = "English",

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

pages = "47--48",

editor = "E.W. Dijkstra",

booktitle = "Formal development of programs and proofs",

publisher = "Addison-Wesley",

}