5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)

Marco Autili, Alessio Bucaioni, Gianluca Filippone, Farnaz Fotrousi, Rim Saddem, Gian Luca Scoccia. 5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023). In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, Luxembourg, September 11-15, 2023. pages 9-10, IEEE, 2023. [doi]

@inproceedings{AutiliBFFSS23,
  title = {5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)},
  author = {Marco Autili and Alessio Bucaioni and Gianluca Filippone and Farnaz Fotrousi and Rim Saddem and Gian Luca Scoccia},
  year = {2023},
  doi = {10.1109/ASEW60602.2023.00034},
  url = {https://doi.org/10.1109/ASEW60602.2023.00034},
  researchr = {https://researchr.org/publication/AutiliBFFSS23},
  cites = {0},
  citedby = {0},
  pages = {9-10},
  booktitle = {38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, Luxembourg, September 11-15, 2023},
  publisher = {IEEE},
  isbn = {979-8-3503-3032-8},
}