Jump to main content

yr 〜
yr

Search results 4

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

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

Modern applications of automata theory

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

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

Reached to the end of result.

RSS