Marco Scaletta
Orcid: 0000-0001-5298-3369
According to our database1,
Marco Scaletta
authored at least 9 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
1
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Sci. Comput. Program., March, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
2022
2021
CoRR, 2021
Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021