AMC: verifying user interface properties for vehicular applications.

Kyungmin Lee, Jason Flinn, Thomas J. Giuli, Brian Noble, Christopher Peplin

Browse the full Mobisys paper archive.