@misc{indiciae9676d0fb140b, title = {Monarch: A High-Assurance Java-to-java (J2j) Source-code Migrator.}, author = {Perry, James Thomas and Winter, Victor L. and Guerrero, Jonathan and Reinke, Carl}, year = {2011}, url = {https://www.osti.gov/biblio/1106332}, note = {Source identifier: 1106332} }