Meinten Sie:
person:("belcher, scott")
Practical Uses of Formal Methods in Development of Airborne Software
Practical Uses of Formal Methods in Development of Airborne Software