Formal Verification of SDL Systems at the Siemens Mobile Phone Department.

Franz Regensburger, Aenne Barnard

Browse the full TACAS paper archive.