yr 〜
yr

Search results 4

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)
Paper図書
Springer[2014]<M17-15-1585>
National Diet Library
  • Author HeadingVSTTE 2014 (2014 : Vienna, Austria) Giannakopoulou, Dimitra. Kroening, Daniel.

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)
Paper図書
Springer[2014]<M17-15-1257>
National Diet Library
  • Author Heading...noble, France) Giannakopoulou, Dimitra. Salaün, G. (Gwen) Inria.

FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)

FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)
Paper図書
Springerc2012.<M17-13-587>
National Diet Library
  • Author HeadingGiannakopoulou, Dimitra. Méry, Dominique. Formal Meth...

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings
Paper図書
Ritchie Lee ... [et al.] (eds.)Springerc2020
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Lee, Ritchie Jha, Susmit Mavridou, Anastasia Giannakopoulou, Dimitra

Reached to the end of result.