( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Keynotes.

, , , и . TOOLS (23), стр. 2. IEEE Computer Society, (1997)

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.

Bertrand Hirl

Bertrand Gloddek

Joachim Bertrand

Jessica Bertrand

Bertrand Malmendier

 

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

Experimental assessment of random testing for object-oriented software., , , и . ISSTA, стр. 84-94. ACM, (2007)A comparative study of programmer-written and automatically inferred contracts., , и . ISSTA, стр. 93-104. ACM, (2009)Seamless Requirements., и . CoRR, (2017)Certificates and Separation Logic., , и . TGC, том 8358 из Lecture Notes in Computer Science, стр. 273-293. Springer, (2013)A Framework for Proving Contract-Equipped Classes.. Abstract State Machines, том 2589 из Lecture Notes in Computer Science, стр. 108-125. Springer, (2003)Specifying Reusable Components., , и . VSTTE, том 6217 из Lecture Notes in Computer Science, стр. 127-141. Springer, (2010)Program Checking with Less Hassle., , , и . VSTTE, том 8164 из Lecture Notes in Computer Science, стр. 149-169. Springer, (2013)Flexible Invariants through Semantic Collaboration., , , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 514-530. Springer, (2014)Reasoning about Function Objects., , , , и . TOOLS (48), том 6141 из Lecture Notes in Computer Science, стр. 79-96. Springer, (2010)Applying Search in an Automatic Contract-Based Testing Tool., , и . SSBSE, том 8084 из Lecture Notes in Computer Science, стр. 318-323. Springer, (2013)