Personensuche
X
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
8
Automated Validation of Insurance Applications against Calc..:
, In:
?
Nanomedicine for Ischemic Cardiomyopathy ,
10
Nanoparticulate systems for monitoring of therapeutic cells:
, In:
?
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
12
VeriAbs : Verification by Abstraction and Test Generation:
, In:
?
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering ,
13