Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.
Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen
VenueBFM
Year1999
ProceedingsWorld Congress on Formal Methods
DBLP recordconf/fm/RandimbivololonaSBPRS99 ↗
Browse the full FM paper archive.