Cited By
View all- De Palma GGiallorenzo SMauro JTrentin MVjerdha G(2024)Towards a Framework for Transitioning from Monolith to ServerlessThe Combined Power of Research, Education, and Dissemination10.1007/978-3-031-73887-6_13(167-182)Online publication date: 23-Oct-2024
- Cruz-Filipe LLugović LMontesi F(2023)Certified Compilation of Choreographies with haccFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-35355-0_3(29-36)Online publication date: 19-Jun-2023
- van den Bos PJongmans S(2023)VeyMont: Parallelising Verified Programs Instead of Verifying Parallel ProgramsFormal Methods10.1007/978-3-031-27481-7_19(321-339)Online publication date: 3-Mar-2023
- Show More Cited By