Isabelle HOL中Robin Milner双图的形式化,Formalization of Robin Milner s bigraphs in Isabelle HOL, (2019-08-21, Isabelle, 0KB, 下载0次)