Aleksandar Milicevic

Aleksandar Milicevic

Microsoft
csail.mit.edu üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 824
Build Systems Software Testing Declarative Programming Executable Specifications Program Analysis
Amir Khwaja

Amir Khwaja

Qualcomm
kfu.edu.sa üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 795
Software Engineering Executable Specifications Real-time Systems System-on-a-Chip Validation