Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Tom Pressburger, John Penix, Phil Oh, Michael Lowry, Guillaume Brat, "Amphion/NAV: Deductive Synthesis of State Estimation Software," Automated Software Engineering, International Conference on, pp. 395, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.

@article{ 10.1109/ASE.2001.989837,
author = {Jon Whittle and Jeffrey Van Baalen and Johann Schumann and Peter Robinson and Tom Pressburger and John Penix and Phil Oh and Michael Lowry and Guillaume Brat},
title = {Amphion/NAV: Deductive Synthesis of State Estimation Software},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {395},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989837},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Amphion/NAV: Deductive Synthesis of State Estimation Software
SN - 0-7695-1426-X
SP
EP
A1 - Jon Whittle,
A1 - Jeffrey Van Baalen,
A1 - Johann Schumann,
A1 - Peter Robinson,
A1 - Tom Pressburger,
A1 - John Penix,
A1 - Phil Oh,
A1 - Michael Lowry,
A1 - Guillaume Brat,
PY - 2001
VL - 0
JA - Automated Software Engineering, International Conference on
ER -