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.

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023

Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli. Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Software Engineering Notes, 49(1):24-26, January 2024. [doi]

Authors

Farhad Arbab

This author has not been identified. Look up 'Farhad Arbab' in Google

Marco Autili

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

Federico Ciccozzi

This author has not been identified. It may be one of the following persons: Look up 'Federico Ciccozzi' in Google

Pascal Poizat

This author has not been identified. Look up 'Pascal Poizat' in Google

Massimo Tivoli

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