サクサク読めて、アプリ限定の機能も多数！
Alloyやりたいと思いながら結局やってねーな
theatrical のブックマーク 2015/05/04 07:37
このブックマークにはスターがありません。 最初のスターをつけてみよう！
mainisusuallyafunction.blogspot.com2015/05/04
Formal methods for software verification are usually seen as a high-cost tool that you would only use on the most critical systems, and only after extensive informal verification. The Alloy project...
2 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
Alloyやりたいと思いながら結局やってねーな
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Modeling garbage collectors with Alloy: part 1
Formal methods for software verification are usually seen as a high-cost tool that you would only use on the most critical systems, and only after extensive informal verification. The Alloy project...
2 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／