Michael G. Burke

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 4

Top Topics

Static Analysis

Autonomous Vehicles

Top Venues

SPLASH (Companion Volume)

ICS 25th Anniversary

Publications