Formal Methods for Verification of Web-sites Macrostructure Integrity

著录项

• 来源
  《Программирование》 |2000年第4期|p.15-23|共9页
• 作者

  M R. Kogalovsky; E. N. Efimova; T. A. Rybina;

  展开▼
• 作者单位

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 rus
• 中图分类 计算技术、计算机技术;
• 关键词

  formal methods; Web-sites macrostucture integrity; verification;

  机译：形式方法;网站宏观结构的完整性;验证;