通过Eric Hehner设计软件设计的正式方法

2021-03-29 01:01:28

Warning: Can only detect less than 5000 characters

http://www.cs.utoronto.ca/~hehner/FMSD/
肮脏的软件杀死了人们
2021-3-28 21:39
计算机视觉软件有可能重塑城市举动的方式
2021-3-27 10:18
Red Hat将免费软件基金会资金推出Richard Stallman的回报
2021-3-27 6:46
Red Hat将资金暂停给自由软件基金会
2021-3-27 6:33