Suchergebnisse - Barthe
-
1
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Weitere Verfasser: “… Barthe …”
Full text available on Research4Life (ACM)
Elektronisch E-Book -
2
Proceedings of the 4th international conference on Engineering Secure Software and Systems
Weitere Verfasser: “… Barthe …”
Full text available on Research4Life (ACM)
Elektronisch E-Book