Showing 1 - 2 results of 2 for search 'Di Marco, A', सवाल का समय: 0.02सेकंड
परिणाम को परिष्कृत करें
-
1
-
2
Synthesis and verification of delf-aware computing systems द्वारा Calinescu, R, Autili, M, Camara, J, Di Marco, A, Gerasimou, S, Inverardi, P, Perucci, A, Jansen, N, Katoen, J, Kwiatkowska, M, Mengshoel, O, Spalazzese, R, Tivoli, M
प्रकाशित 2017Book section