WG211/M15Kobayashi: Difference between revisions

Latest revision as of 05:01, 3 September 2015

Higher-order model checking and program verification by Naoki Kobayashi

Revision as of 04:59, 3 September 2015 view source Eric (talk \| contribs) Administrators 412 edits Created page with "''Higher-order model checking and program verification'' Naoki Kobayashi"		Latest revision as of 05:01, 3 September 2015 view source Eric (talk \| contribs) Administrators 412 edits 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