( en | de | ru )

 

Disambiguation of "Hähnle, Reiner"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying OpenJDK's Sort Method for Generic Collections.

, , , , , and . J. Autom. Reason., 62 (1): 93-126 (2019)

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

Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.. Stud Logica, 61 (1): 101-121 (1998)Context-aware Trace Contracts., , and . CoRR, (2023)SmartML: Towards a Modeling Language for Smart Contracts., , and . CoRR, (2024)Using a Software Testing Technique to Improve Theorem Proving., and . FATES, volume 2931 of Lecture Notes in Computer Science, page 30-41. Springer, (2003)A New Look at Formal Methods for Software Construction.. The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)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)Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.. Logic Journal of the IGPL, 13 (4): 415-433 (2005)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)