Aleksandar Milicevic

Aleksandar Milicevic

Microsoft
在 csail.mit.edu 的电子邮件经过验证
被引用次数：815
Build Systems Software Testing Declarative Programming Executable Specifications Program Analysis
Amir Khwaja

Amir Khwaja

Qualcomm
在 kfu.edu.sa 的电子邮件经过验证
被引用次数：718
Software Engineering Executable Specifications Real-time Systems System-on-a-Chip Validation