A Language for Building Verified Software Components
Kulczycki, Gregory, Sitaraman, Murali, Krone, Joan, Hollingsworth, Joseph E., Ogden, William F., Weide, Bruce W., Bucci, Paolo, Cook, Charles T., Drachova-Strang, Svetlana V., Durkee, Blair, Harton, Heather, Heym, Wayne, Hoffman, Dustin, Smith, Hampton, Sun, Yu-Shan, Tagore, Aditi, Yasmin, Nighat, Zaccai, Diego
Published in Safe and Secure Software Reuse
Published in Safe and Secure Software Reuse
Get full text
Book Chapter
Mining Cohesive Domain Topics from Source Code
Xie, Bing, Li, Meng, Jin, Jing, Zhao, Junfeng, Zou, Yanzhen
Published in Safe and Secure Software Reuse
Published in Safe and Secure Software Reuse
Get full text
Book Chapter