標(biāo)題: Titlebook: FME ‘93: Industrial-Strength Formal Methods; First International James C. P. Woodcock,Peter G. Larsen Conference proceedings 1993 Springer [打印本頁(yè)] 作者: 會(huì)議記錄 時(shí)間: 2025-3-21 19:17
書(shū)目名稱FME ‘93: Industrial-Strength Formal Methods影響因子(影響力)