A Language for Building Verified Software Components

• Autores: Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana V. Drachova-Strang, Blair Durkee, Wayne Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Diego Zaccai, Nighat Yasmin
• Localización: Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013 / coord. por Maurizio Morisio, 2013, ISBN 9783642389764, págs. 308-314
• Idioma: inglés
• Texto completo no disponible (Saber más ...)