Strength 发表于 2025-4-1 04:14:31

http://reply.papertrans.cn/47/4686/468502/468502_61.png

思乡病 发表于 2025-4-1 08:14:15

John Derrick,Stefania Gnesi,Helen TreharneUp to date results.State of the art research.Fast track conference proceedings

CARK 发表于 2025-4-1 12:55:27

http://reply.papertrans.cn/47/4686/468502/468502_63.png

精美食品 发表于 2025-4-1 15:12:07

http://reply.papertrans.cn/47/4686/468502/468502_64.png

错误 发表于 2025-4-1 18:29:09

Integrated Formal Methods978-3-642-30729-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Integrated Formal Methods; 9th International Co John Derrick,Stefania Gnesi,Helen Treharne Conference proceedings 2012 Springer-Verlag Berl