Mechanization of a Large DSML: An Experiment with AADL and Coq.

Jrme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart

Browse the full MEMOCODE paper archive.