Centro de Informatica/UFPE Recife PE Brazil;
Z; CSP; distribution; unifying theories of programming;
机译:SCJ-Circus:安全关键Java程序的规范和完善
机译:SCJ-Circus:安全关键Java程序的规范和完善
机译:在马戏团中进行提炼测试
机译:自动完善马戏节目
机译:蕨街马戏团(加利福尼亚州)的青年马戏团训练的现象学。
机译:组合信息蛋白质结构的细化:势能受限的实空间方法用于有限衍射数据的细化
机译:sCJ-Circus:针对safety-Critical Java的精致导向的正式表示法