%0 Conference Paper %1 conf/hase/WinterH15 %A Winter, Victor L. %A Hussain, Shiraz %B HASE %D 2015 %I IEEE Computer Society %K dblp %P 26-35 %T Verilog Synthesis in the Higher-Order Transformation Framework of TL. %U http://dblp.uni-trier.de/db/conf/hase/hase2015.html#WinterH15 %@ 978-1-4799-8110-6

@inproceedings{conf/hase/WinterH15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Winter, Victor L. and Hussain, Shiraz}, biburl = {https://www.bibsonomy.org/bibtex/2711b9ac887dcc56cfaba297101e6a92c/dblp}, booktitle = {HASE}, crossref = {conf/hase/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2015.13}, interhash = {cf44fb2e3adc5efe0fc51f0e2ed21878}, intrahash = {711b9ac887dcc56cfaba297101e6a92c}, isbn = {978-1-4799-8110-6}, keywords = {dblp}, pages = {26-35}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:57.000+0200}, title = {Verilog Synthesis in the Higher-Order Transformation Framework of TL.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2015.html#WinterH15}, year = 2015 }