Amphion/NAV: Deductive Synthesis of State Estimation Software

Jon Whittle
Jeffrey Van Baalen
Johann Schumann
Peter Robinson
Thomas Pressburger
John Penix
Phil Oh
Michael R. Lowry
Guillaume P. Brat
International Conference on Automated Software Engineering (2001), pp. 395-399
Download Google Scholar

Abstract