Formal Methods in the Wild: Trains, Planes, & Automobile.

Asaf Degani

Browse the full FM paper archive.