FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification

Author: Naoki Kobayashi

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification
Authors:Naoki Kobayashi
Proceedings:HOR Pre-proceedings
Editor: Stefano Guerrini
Keywords:
Abstract:
Pages:1
Paper: