Personensuche
X
?
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science ,
1
Benchmarking Open-Source Static Analyzers for Security Test..:
, In:
?
Proceedings of the 12th International Workshop on Cooperative and Human Aspects of Software Engineering ,
2
Scientific developers v/s static analysis tools : vision..:
, In:
?
2019 IEEE/ACM 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE) ,
3
Scientific Developers v/s Static Analysis Tools: Vision and..:
, In:
?
Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment ,
4