Istvan Majzik

Istvan Majzik

Associate Professor, Budapest University of Technology and Economics
在 mit.bme.hu 的电子邮件经过验证
被引用次数：3174
Dependable Computer Systems Software Verification Safety Critical Systems