Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法
ISBN:9783540205272...
Formal Methods at the Crossroads From Panacea to Foundational Support 十字路口 中的 形式 方法
The Imperfect Panacea
ISBN:9780070493711...
Access Panels and Online Research, Panacea or Pitfall?
ISBN:9789052603001...
Access Panels and Online Research Panacea or Pitfall