%0 Conference Paper %1 conf/icse/ChenYFW20 %A Chen, Zhenbang %A Yu, Hengbiao %A Fu, Xianjin %A Wang, Ji %B ICSE (Companion Volume) %D 2020 %E Rothermel, Gregg %E Bae, Doo-Hwan %I ACM %K dblp %P 93-96 %T MPI-SV: a symbolic verifier for MPI programs. %U http://dblp.uni-trier.de/db/conf/icse/icse2020c.html#ChenYFW20 %@ 978-1-4503-7122-3

@inproceedings{conf/icse/ChenYFW20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Chen, Zhenbang and Yu, Hengbiao and Fu, Xianjin and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/281a5d2f61ace673b629238b603b821d9/dblp}, booktitle = {ICSE (Companion Volume)}, crossref = {conf/icse/2020c}, editor = {Rothermel, Gregg and Bae, Doo-Hwan}, ee = {https://ieeexplore.ieee.org/document/9270373}, interhash = {e6a9996f8723b082fec8ffdd089db9c0}, intrahash = {81a5d2f61ace673b629238b603b821d9}, isbn = {978-1-4503-7122-3}, keywords = {dblp}, pages = {93-96}, publisher = {ACM}, timestamp = {2024-04-10T15:15:28.000+0200}, title = {MPI-SV: a symbolic verifier for MPI programs.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2020c.html#ChenYFW20}, year = 2020 }