Start Over
You searched for: author_facet Hähnle, Reiner

Search Results

Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings

Location
Access Content Online
Cover image for Machine Learning for Dynamic Software Analysis

Machine Learning for Dynamic Software Analysis

Location
Access Content Online
Cover image for Automated reasoning

Automated reasoning

Location
Access Content Online
Cover image for Theorem proving with analytic tableaux and related methods

Theorem proving with analytic tableaux and related methods

Location Call # Status
Joyner - General Stacks QA76.9.A96 T33 1995 ✔ Available
Cover image for Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics

Location Call # Status
Joyner - General Stacks QA76.9.A96 H34 1993 ✔ Available
Cover image for Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Location
Access Content Online
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Location
Access Content Online
Cover image for Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

  • 2012
  • Format: Electronic
Location
Access Content Online
Cover image for Tests and proofs

Tests and proofs

Location
Access Content Online
Cover image for Theorem proving with analytic tableaux and related methods

Theorem proving with analytic tableaux and related methods

Location
Access Content Online