SCIE期刊FORMAL METHODS IN SYSTEM DESIGN 2024/2025影响因子:0.751 (FORM METHOD SYST DES) (0925-9856). (COMPUTER SCIENCE, THEORY

Lineage

Submitted on: 13 February 2000. Revised on: 07 March 2000. Accepted on: 21 March 2000. ___________________FORMAL METHODS IN SYSTEM DESIGN

CLOWN

Submitted on: 31 May 2024. Revised on: 15 July 2024. Accepted on: 25 August 2024. ___________________FORMAL METHODS IN SYSTEM DESIGN

无所不知

Submitted on: 19 May 2009. Revised on: 14 August 2009. Accepted on: 24 September 2009. ___________________FORMAL METHODS IN SYSTEM DESIGN

V洗浴

Submitted on: 10 June 2000. Revised on: 15 July 2000. Accepted on: 06 September 2000. ___________________FORMAL METHODS IN SYSTEM DESIGN

恶心

plasma-cells

Submitted on: 10 October 2004. Revised on: 30 December 2004. Accepted on: 13 January 2005. ___________________FORMAL METHODS IN SYSTEM DESIGN