%0 Conference Paper %1 conf/icse-formalise/LorchMSMDPVM24 %A Lorch, Robert %A Meng, Baoluo %A Siu, Kit %A Moitra, Abha %A Durling, Michael %A Paul, Saswata %A Varanasi, Sarat Chandra %A McMillan, Craig %B FormaliSE@ICSE %D 2024 %E Plat, Nico %E Gnesi, Stefania %E Furia, Carlo A. %E Lopes, Antónia %I ACM %K dblp %P 88-99 %T Formal Methods in Requirements Engineering: Survey and Future Directions. %U http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2024.html#LorchMSMDPVM24

@inproceedings{conf/icse-formalise/LorchMSMDPVM24, added-at = {2024-06-24T00:00:00.000+0200}, author = {Lorch, Robert and Meng, Baoluo and Siu, Kit and Moitra, Abha and Durling, Michael and Paul, Saswata and Varanasi, Sarat Chandra and McMillan, Craig}, biburl = {https://www.bibsonomy.org/bibtex/2a0c1a06bc5abe8d9d88cf346bbdca02c/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse-formalise/2024}, editor = {Plat, Nico and Gnesi, Stefania and Furia, Carlo A. and Lopes, Antónia}, ee = {https://ieeexplore.ieee.org/document/10555814}, interhash = {aeb04718bf42ac5fe54e1bb1e790810f}, intrahash = {a0c1a06bc5abe8d9d88cf346bbdca02c}, keywords = {dblp}, pages = {88-99}, publisher = {ACM}, timestamp = {2024-07-01T07:11:05.000+0200}, title = {Formal Methods in Requirements Engineering: Survey and Future Directions.}, url = {http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2024.html#LorchMSMDPVM24}, year = 2024 }