Jump to main content

yr 〜
yr

Search results 2

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)
Paper図書
Springerc2010.<M17-11-2057>
National Diet Library
  • Author Heading...ing Institute. Dong, Jin Song, 1967- Zhu, Huibiao. International C...

Formal methods and software engineering : 5th international conference on formal engineering methods, ICFEM 2003 : Singapore, November 5-7, 2003 : proceedings. : Nov 2003, Singapore. (Lecture Notes in Computer Science ; 2885)

Formal methods and software engineering : 5th international conference on formal engineering methods, ICFEM 2003 : Singapore, November 5-7, 2003 : proceedings. : Nov 2003, Singapore. (Lecture Notes in Computer Science ; 2885)
Paper図書
Springer-Verlagc2003.<M17-04-2584>
National Diet Library
  • Author Heading...ce Department. Dong, Jin Song, 1967- Woodcock, Jim. International ...

Reached to the end of result.

RSS