Formal Specification

偶尔了解到了formal specification,大约翻阅了一下相关资料。个人感觉,优秀的基础架构都需要高效的工具支持。其中,formal specification就是高效工具之一。

直接贴链接

formal specification创始人

打赏

Categories:

发表评论

电子邮件地址不会被公开。