Jump to main content

yr 〜
yr

Search results 3

Engineering secure software and systems : 7th international symposium, ESSoS 2015 : Milan, Italy, March 4-6, 2015 : proceedings : Mar 2015, Milan, Italy. (Lecture Notes in Computer Science ; 8978)

Engineering secure software and systems : 7th international symposium, ESSoS 2015 : Milan, Italy, March 4-6, 2015 : proceedings : Mar 2015, Milan, Italy. (Lecture Notes in Computer Science ; 8978)
Paper図書
Springer[2015]<M17-15-1614>
National Diet Library
  • Author HeadingESSoS 2015 (2015 : Milan, Italy) Piessens, F. (Frank) Caballero, Juan. Bielova, Nat...

Engineering secure software and systems : 6th international symposium, ESSoS 2014 : Munich, Germany, February 26-28, 2014 : proceedings : Feb 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8364)

Engineering secure software and systems : 6th international symposium, ESSoS 2014 : Munich, Germany, February 26-28, 2014 : proceedings : Feb 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8364)
Paper図書
Springerc2014.<M17-14-2120>
National Diet Library
  • Author Heading...Jürjens, Jan. Piessens, F. (Frank) Bielova, Nataliia.

12th workshop on formal techniques for java-like programs 2010 : (FTfJP 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.

12th workshop on formal techniques for java-like programs 2010 : (FTfJP 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.
Paper図書
Association for Computing Machineryc2010.<M17-11-2730>
National Diet Library
  • Author HeadingPiessens, F. (Frank) Jacobs, Bart. International W...

Reached to the end of result.

RSS