Login / Signup
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.
Junbeom Yoo
Jong-Gyun Choi
Young-Jun Lee
Jang-Soo Lee
Published in:
ISSRE Workshops (2014)
Keyphrases
</>
case study
open source
knowledge management
development process
computer programs
real world
computer science
lessons learned