Andreas Johannes Wilhelm

发表

Interactive Software Parallelization Based on Hybrid Analysis and Software Architecture Reconstruction

Andreas Johannes Wilhelm, 2019 .

Efficient Verification of Multi-Threaded Programs

Andreas Johannes Wilhelm, Andreas Wilhelm, 2014 .