Jump to main content

yr 〜
yr

Search results 5

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-611>
National Diet Library

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]
Paper図書
Xinyu Feng, Markus Müller-Olm, Zijiang YangSpringerc2018
Other Libraries in Japan
  • Author HeadingFeng, Xinyu Müller-Olm, Markus Yang, Zijiang

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings
Paper図書
Neil D. Jones, Markus Müller-Olm (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingJones, Neil D. Müller-Olm, Markus VMCAI (2009 : Savannah, Ga.)

Variations on constants : flow analysis of sequential and parallel programs

Variations on constants : flow analysis of sequential and parallel programs
Paper図書
Markus Müller-OlmSpringerc2006
Other Libraries in Japan
  • Author HeadingMüller-Olm, Markus

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Paper図書
Markus Müller-OlmSpringerc1997
Other Libraries in Japan
  • Author HeadingMüller-Olm, Markus

Reached to the end of result.

RSS