kirakking のブックマーク / はてなブックマーク

kirakking のブックマーク 2014/11/03 17:27

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/233660725/comment/kirakking" data-user-id="kirakking" data-entry-url="https://b.hatena.ne.jp/entry/s/link.springer.com/chapter/10.1007/978-3-319-06410-9_4" data-original-href="https://link.springer.com/chapter/10.1007/978-3-319-06410-9_4" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%2F978-3-319-06410-9_4" data-user-icon="/users/kirakking/profile.png">40 Years of Formal Methods</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/paper">paper</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%22formal%20method%22">formal method</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/kirakking/20141103#bookmark-233660725"><span class="datetime-body">2014/11/03 17:27</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！