Jump to main content

yr 〜
yr

Search results 5

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-15-1660>
National Diet Library
  • Author Heading...Mumbai, India) D'Souza, Deepak. Lal, Akash. Larsen, Kim Guld...

Automated technology for verification and analysis : 15th international symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings

Automated technology for verification and analysis : 15th international symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings
Paper図書
Deepak D'Souza, K. Narayan Kumar (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingATVA D'Souza, Deepak Kumar, K. Narayan

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings
Paper図書
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingVMCAI D'Souza, Deepak Lal, Akash Larsen, K. G. (Kim...

Modern applications of automata theory

Modern applications of automata theory
Paper図書
editors Deepak D'Souza, Priti ShankarIISc Pressc2012
Other Libraries in Japan
  • Author HeadingD'Souza, Deepak Shankar, Priti

Model checking trace-based information flow properties : for finite state systems and pushdown systems : pbk.

Model checking trace-based information flow properties : for finite state systems and pushdown systems : pbk.
Paper図書
Raghavendra Kagalavadi Ramesh, Deepak D'souza, Barbara SprickLambert Academic Publishingc2012
Other Libraries in Japan
  • Author HeadingRamesh, Raghavendra Kagalavadi D'souza, Deepak Sprick, Barbara

Reached to the end of result.

RSS