Bernhard Möller. Deductive Hardware Design: A Functional Approach. In Bernhard Möller, J. V. Tucker, editors, Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters. Volume 1546 of Lecture Notes in Computer Science, pages 421-468, Springer, 1998. [doi]
@inproceedings{Moller98a, title = {Deductive Hardware Design: A Functional Approach}, author = {Bernhard Möller}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1546/15460421.htm}, tags = {design, systematic-approach}, researchr = {https://researchr.org/publication/Moller98a}, cites = {0}, citedby = {0}, pages = {421-468}, booktitle = {Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters}, editor = {Bernhard Möller and J. V. Tucker}, volume = {1546}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65461-5}, }