( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraction Refinement for the Analysis of Software Product Lines.

, , и . TAP, том 10375 из Lecture Notes in Computer Science, стр. 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.

Reiner Hähnle

Lorenz Hähnle

Reinhard Hähnle

Max Hähnle

Barbara Hähnle

 

Другие публикации лиц с тем же именем

Analytic Tableau and Integer Programming (Extended Abstract).. TABLEAUX, стр. 33-35. (1992)Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.. Stud Logica, 61 (1): 101-121 (1998)Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.. Logic Journal of the IGPL, 13 (4): 415-433 (2005)A New Look at Formal Methods for Software Construction.. The KeY Approach, том 4334 из Lecture Notes in Computer Science, Springer, (2007)Towards Incremental Validation of Railway Systems., и . ISoLA (2), том 9953 из Lecture Notes in Computer Science, стр. 433-446. (2016)Introduction to Track on Engineering Virtualized Services., и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 1-4. Springer, (2014)Using a Software Testing Technique to Improve Theorem Proving., и . FATES, том 2931 из Lecture Notes in Computer Science, стр. 30-41. Springer, (2003)Semantic Tableaux with Ordering Restrictions., и . CADE, том 814 из Lecture Notes in Computer Science, стр. 708-722. Springer, (1994)KeY-C: A Tool for Verification of C Programs., , и . CADE, том 4603 из Lecture Notes in Computer Science, стр. 385-390. Springer, (2007)Task Forces in the EternalS Coordination Action.. ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 20-22. Springer, (2010)