@inproceedings{56ab923e05f8454cafb9c12e40e81e1a,
title = "Combining engineering vigor with mathematical rigor",
abstract = "Higher order logic and a functional language are used to document and verify design procedures which correctly synthesize array multipliers of arbitrary size. The procedures work with general negabinary inputs and create design descriptions corresponding to practical designs which are correct-by-construction.",
author = "Chin, {Shiu Kai}",
year = "1990",
doi = "10.1007/0-387-97226-9_28",
language = "English (US)",
isbn = "9780387972268",
volume = "408 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "152--176",
booktitle = "Hardware Specification, Verification and Synthesis",
note = "Mathematical Sciences Institute Workshop on Hardware Specification, Verification and Synthesis, 1989 ; Conference date: 05-07-1989 Through 07-07-1989",
}