@misc{indiciae192ede3eb575, 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/1107663}, note = {Source identifier: 1107663} }