作 者:Qin Ma ;Luc Maranget
出 处:Logical Methods in Computer Science. 2008 ;4(01).doi:10.2168/LMCS-4(1:7)2008
出 版 社:Technical University of Braunschweig
文 章 ID:46838682