%0 Thesis %1 phd/us/Wright21 %A Wright, Andrew %D 2021 %K dblp %T Modular SMT-Based Verification of Rule-Based Hardware Designs.

@phdthesis{phd/us/Wright21, added-at = {2022-08-05T00:00:00.000+0200}, author = {Wright, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/20230999b275c25d2a20a063a410c61cf/dblp}, ee = {https://hdl.handle.net/1721.1/139491}, interhash = {ee5c44491ee1a759baf991ed61d21685}, intrahash = {0230999b275c25d2a20a063a410c61cf}, keywords = {dblp}, school = {Massachusetts Institute of Technology, USA}, timestamp = {2024-04-09T08:03:52.000+0200}, title = {Modular SMT-Based Verification of Rule-Based Hardware Designs.}, year = 2021 }