%0 Conference Paper %1 conf/aplas/WuWSXS23 %A Wu, Jinhua %A Wang, Yuting %A Sun, Meng %A Xu, Xiangzhe %A Song, Yichen %B APLAS %D 2023 %E Hur, Chung-Kil %I Springer %K dblp %P 205-224 %T Towards a Framework for Developing Verified Assemblers for the ELF Format. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2023.html#WuWSXS23 %V 14405 %@ 978-981-99-8311-7

@inproceedings{conf/aplas/WuWSXS23, added-at = {2024-06-08T00:00:00.000+0200}, author = {Wu, Jinhua and Wang, Yuting and Sun, Meng and Xu, Xiangzhe and Song, Yichen}, biburl = {https://www.bibsonomy.org/bibtex/25fc78994221039417d5da7bc5b20d33e/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2023}, editor = {Hur, Chung-Kil}, ee = {https://doi.org/10.1007/978-981-99-8311-7_10}, interhash = {80eff0802b9b9039fc9b44c1c14fd122}, intrahash = {5fc78994221039417d5da7bc5b20d33e}, isbn = {978-981-99-8311-7}, keywords = {dblp}, pages = {205-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:39:59.000+0200}, title = {Towards a Framework for Developing Verified Assemblers for the ELF Format.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2023.html#WuWSXS23}, volume = 14405, year = 2023 }