Yiming Xu: Mechanised Modal Model Theory (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Authors: Yiming Xu and Michael Norrish

Aired: 2020-02-01 16:45:00 CEST (UTC+2)