Safety-critical Systems Symposium ‘11
AdaCore is a major sponsor of this event. Robert Dewar will present the paper "A Pragmatic View of Formal Methods: the Hi-Lite project"
AdaCore is a major sponsor of this event. Robert Dewar will present the paper "A Pragmatic View of Formal Methods: the Hi-Lite project"