COMPSAC is a forum for presentation and discussion of problems in the specification, design, implementation, and evaluation of software and applications. The proceedings of COMPSAC'95 comprise 58 technical papers and three keynote addresses. Technical sessions include advances in formal methods, kno
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.