软件开发版本维护新工具──DV系统

The Global Properties of Valid Formulas in Modal Logic K

本文介绍了一个支持软件开发版本维护工具──ＤＶ系统。全文简要地描述了该系统的主要特点、工作原理及相关的概念。