有没有同对 formal methods 感兴趣的 v 友 - V2EX

首页注册登录

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 2710 天前的主题，其中的信息可能已经有所发展或是发生改变。

感觉这一方面的信息在 V2EX 上面很少，不知道找不找得到同好。

目前尚无回复

同好 V2EX formal Methods

关于 · 帮助文档 · 博客 · API · FAQ · 实用小工具 · 1627 人在线 最高记录 6679 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 29ms · UTC 16:51 · PVG 00:51 · LAX 08:51 · JFK 11:51
Developed with CodeLauncher
♥ Do have faith in what you're doing.