The KLI
Entry 37 of 421

News Details

Chia-Hua Lin
2018-02-15
Tool Migration: A Framework for Analyzing Cross-disciplinary Use of Formal Systems