Jump to main content

yr 〜
yr

Search results 2

First international conference on software engineering and formal methods : proceedings : Brisbane, Australia : September 22 to 27, 2003. : Sep 2003, Brisbane, Australia.

First international conference on software engineering and formal methods : proceedings : Brisbane, Australia : September 22 to 27, 2003. : Sep 2003, Brisbane, Australia.
Paper図書
IEEE Computer Societyc2003.<M17-05-1754>
National Diet Library
  • Author HeadingCerone, Antonio. Lindsay, Peter Alexander, 1957- International Conference on S...

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)
Paper図書
Springer2002.<M17-03-105>
National Diet Library
  • Author Heading...enrik) , 1960- Lindsay, Peter Alexander, 1957- 3rd Federated Logic Conferenc...

Reached to the end of result.

RSS