Akram Idani. A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs. In ESSE 2021: 2nd European Symposium on Software Engineering, Larissa, Greece, November 19 - 21, 2021. pages 85-93, ACM, 2021. [doi]
@inproceedings{Idani21, title = {A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs}, author = {Akram Idani}, year = {2021}, doi = {10.1145/3501774.3501787}, url = {https://doi.org/10.1145/3501774.3501787}, researchr = {https://researchr.org/publication/Idani21}, cites = {0}, citedby = {0}, pages = {85-93}, booktitle = {ESSE 2021: 2nd European Symposium on Software Engineering, Larissa, Greece, November 19 - 21, 2021}, publisher = {ACM}, isbn = {978-1-4503-8506-0}, }