×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of joerg-brauer
Parallel and Distributed Invariant Checking of Microcontroller Software
215 views
Interprocedural Pointer Analysis in Goanna
212 views
Model checking and abstract interpretation as building blocks of advanced program analysis techniques
212 views