External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Marco Autili

This author has not been identified. Look up 'Marco Autili' in Google

Alessio Bucaioni

This author has not been identified. Look up 'Alessio Bucaioni' in Google

Gianluca Filippone

This author has not been identified. Look up 'Gianluca Filippone' in Google

Farnaz Fotrousi

This author has not been identified. Look up 'Farnaz Fotrousi' in Google

Rim Saddem

This author has not been identified. Look up 'Rim Saddem' in Google

Gian Luca Scoccia

This author has not been identified. It may be one of the following persons: Look up 'Gian Luca Scoccia' in Google
runs on