%0 Conference Paper %1 conf/sigsoft/YeH23 %A Ye, Chong %A He, Fei %B ESEC/SIGSOFT FSE %D 2023 %E Chandra, Satish %E Blincoe, Kelly %E Tonella, Paolo %I ACM %K dblp %P 2172-2176 %T P4b: A Translator from P4 Programs to Boogie. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2023.html#YeH23

@inproceedings{conf/sigsoft/YeH23, added-at = {2024-06-21T00:00:00.000+0200}, author = {Ye, Chong and He, Fei}, biburl = {https://www.bibsonomy.org/bibtex/2654ef7e1f7894224327660873195bf01/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2023}, editor = {Chandra, Satish and Blincoe, Kelly and Tonella, Paolo}, ee = {https://doi.org/10.1145/3611643.3613091}, interhash = {bd87b843dcbbf33b22c777f8b78d902c}, intrahash = {654ef7e1f7894224327660873195bf01}, keywords = {dblp}, pages = {2172-2176}, publisher = {ACM}, timestamp = {2024-06-24T07:40:20.000+0200}, title = {P4b: A Translator from P4 Programs to Boogie.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2023.html#YeH23}, year = 2023 }