Personensuche
X
?
Material-Integrated Intelligent Systems - Technology and Applications ,
1
Integration in Sheet Metal Structures:
, In:
?
Lecture Notes in Computer Science; Formal Methods – The Next 30 Years ,
2
Counterexample-Driven Synthesis for Probabilistic Program S..:
, In:
?
Proceedings of the 53rd Annual Design Automation Conference ,
3