%0 Conference Paper %1 conf/fpca/PatelSE85 %A Patel, Dorab %A Schlag, Martine D. F. %A Ercegovac, Milos D. %B FPCA %D 1985 %E Jouannaud, Jean-Pierre %I Springer %K dblp %P 238-255 %T vFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms. %U http://dblp.uni-trier.de/db/conf/fpca/fpca85.html#PatelSE85 %V 201 %@ 0-387-15975-4

@inproceedings{conf/fpca/PatelSE85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Patel, Dorab and Schlag, Martine D. F. and Ercegovac, Milos D.}, biburl = {https://www.bibsonomy.org/bibtex/2d0f97c31fc6134d04b50fc51463126ee/dblp}, booktitle = {FPCA}, crossref = {conf/fpca/85}, editor = {Jouannaud, Jean-Pierre}, ee = {https://doi.org/10.1007/3-540-15975-4_40}, interhash = {83a03e25921479053f1b1773f92309a9}, intrahash = {d0f97c31fc6134d04b50fc51463126ee}, isbn = {0-387-15975-4}, keywords = {dblp}, pages = {238-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:58:17.000+0200}, title = {vFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/fpca/fpca85.html#PatelSE85}, volume = 201, year = 1985 }