Jorge Aparicius

According to our database, Jorge Aparicius authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

No Panic! Verification of Rust Programs by Symbolic Execution.

Marcus Lindner, Jorge Aparicius, Per Lindgren

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018