%0 Conference Paper %1 conf/icse-formalise/MallozziINS23 %A Mallozzi, Piergiuseppe %A Incer, Inigo %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %B FormaliSE %D 2023 %I IEEE %K dblp %P 29-38 %T Contract-Based Specification Refinement and Repair for Mission Planning. %U http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2023.html#MallozziINS23 %@ 979-8-3503-1263-8

@inproceedings{conf/icse-formalise/MallozziINS23, added-at = {2023-07-10T00:00:00.000+0200}, author = {Mallozzi, Piergiuseppe and Incer, Inigo and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/24f43a91c635da6bc6be4447fcdcae48f/dblp}, booktitle = {FormaliSE}, crossref = {conf/icse-formalise/2023}, ee = {https://doi.org/10.1109/FormaliSE58978.2023.00011}, interhash = {260560c6730c4e1e819f22513ef7667b}, intrahash = {4f43a91c635da6bc6be4447fcdcae48f}, isbn = {979-8-3503-1263-8}, keywords = {dblp}, pages = {29-38}, publisher = {IEEE}, timestamp = {2024-04-09T20:56:50.000+0200}, title = {Contract-Based Specification Refinement and Repair for Mission Planning.}, url = {http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2023.html#MallozziINS23}, year = 2023 }