( en | de | ru )

 

Disambiguation of "Hähnle, Reiner"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction Refinement for the Analysis of Software Product Lines.

, , and . TAP, volume 10375 of Lecture Notes in Computer Science, page 3-20. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Reiner Hähnle

Lorenz Hähnle

Reinhard Hähnle

Max Hähnle

Barbara Hähnle

 

Other publications of authors with the same name

A New Look at Formal Methods for Software Construction.. The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.. Logic Journal of the IGPL, 13 (4): 415-433 (2005)Towards Incremental Validation of Railway Systems., and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 433-446. (2016)Introduction to Track on Engineering Virtualized Services., and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 1-4. Springer, (2014)Using a Software Testing Technique to Improve Theorem Proving., and . FATES, volume 2931 of Lecture Notes in Computer Science, page 30-41. Springer, (2003)Task Forces in the EternalS Coordination Action.. ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 20-22. Springer, (2010)HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.. ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 3-8. Springer, (2010)Semantic Tableaux with Ordering Restrictions., and . CADE, volume 814 of Lecture Notes in Computer Science, page 708-722. Springer, (1994)KeY-C: A Tool for Verification of C Programs., , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 385-390. Springer, (2007)Abstract Execution., and . FM, volume 11800 of Lecture Notes in Computer Science, page 319-336. Springer, (2019)