On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M15Kobayashi: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "''Higher-order model checking and program verification'' Naoki Kobayashi" |
No edit summary |
||
| Line 1: | Line 1: | ||
''Higher-order model checking and program verification'' Naoki Kobayashi | ''Higher-order model checking and program verification'' by Naoki Kobayashi | ||
Latest revision as of 04:01, 3 September 2015
Higher-order model checking and program verification by Naoki Kobayashi
