Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software
ASE, 2001.
@inproceedings{ASE-2001-WhittleBSRPPOLB,
author = "Jon Whittle and Jeffrey Van Baalen and Johann Schumann and Peter Robinson and Thomas Pressburger and John Penix and Phil Oh and Michael R. Lowry and Guillaume P. Brat",
booktitle = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}",
ee = "http://www.computer.org/csdl/proceedings/ase/2001/1426/00/14260395.pdf",
isbn = "0-7695-1426-X",
pages = "395--399",
publisher = "{IEEE Computer Society}",
title = "{Amphion/NAV: Deductive Synthesis of State Estimation Software}",
year = 2001,
}