%0 Conference Paper %1 conf/fpt/GravesPHA15 %A Graves, Ian %A Procter, Adam M. %A Harrison, William L. %A Allwein, Gerard %B FPT %D 2015 %I IEEE %K dblp %P 160-171 %T Provably Correct Development of reconfigurable hardware designs via equational reasoning. %U http://dblp.uni-trier.de/db/conf/fpt/fpt2015.html#GravesPHA15 %@ 978-1-4673-9091-0

@inproceedings{conf/fpt/GravesPHA15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Graves, Ian and Procter, Adam M. and Harrison, William L. and Allwein, Gerard}, biburl = {https://www.bibsonomy.org/bibtex/2caf35f2fde53f98155a23c0fdfefae20/dblp}, booktitle = {FPT}, crossref = {conf/fpt/2015}, ee = {https://doi.org/10.1109/FPT.2015.7393143}, interhash = {df7cf290a9d492cd8e4a6eecdf5e4524}, intrahash = {caf35f2fde53f98155a23c0fdfefae20}, isbn = {978-1-4673-9091-0}, keywords = {dblp}, pages = {160-171}, publisher = {IEEE}, timestamp = {2019-10-17T23:10:29.000+0200}, title = {Provably Correct Development of reconfigurable hardware designs via equational reasoning.}, url = {http://dblp.uni-trier.de/db/conf/fpt/fpt2015.html#GravesPHA15}, year = 2015 }