Author of the publication

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach.

, , , and . INDIN, page 432-439. IEEE, (2019)