%0 Conference Paper %1 conf/fmcad/ZhangDMGK23 %A Zhang, Changjian %A Dardik, Ian %A Meira-Góes, Rômulo %A Garlan, David %A Kang, Eunsuk %B FMCAD %D 2023 %E Nadel, Alexander %E Rozier, Kristin Yvonne %I IEEE %K dblp %P 1-9 %T Fortis: A Tool for Analysis and Repair of Robust Software Systems. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2023.html#ZhangDMGK23 %@ 978-3-85448-060-0

@inproceedings{conf/fmcad/ZhangDMGK23, added-at = {2023-12-13T00:00:00.000+0100}, author = {Zhang, Changjian and Dardik, Ian and Meira-Góes, Rômulo and Garlan, David and Kang, Eunsuk}, biburl = {https://www.bibsonomy.org/bibtex/2d6609bb363d47f5059a15b2af7103be7/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2023}, editor = {Nadel, Alexander and Rozier, Kristin Yvonne}, ee = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_31}, interhash = {ba9e870475f31a60dea00a6590812e81}, intrahash = {d6609bb363d47f5059a15b2af7103be7}, isbn = {978-3-85448-060-0}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Fortis: A Tool for Analysis and Repair of Robust Software Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2023.html#ZhangDMGK23}, year = 2023 }