( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A general framework for dynamic stub injection.

, , , и . ICSE, стр. 586-596. IEEE / ACM, (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.

Peter Müller

Peter Müller

Peter Müller

Peter Müller

Peter Müller

 

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

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , и . Dagstuhl Reports, 6 (5): 56-71 (2016)On the Collineation Group of Cyclic Planes.. J. Comb. Theory, Ser. A, 65 (1): 60-66 (1994)Nagini: A Static Verifier for Python., и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 596-603. Springer, (2018)Sound Automation of Magic Wands., , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 130-151. Springer, (2022)Permission Inference for Array Programs., , , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 55-74. Springer, (2018)Specification and verification challenges for sequential object-oriented programs., , и . Formal Aspects Comput., 19 (2): 159-189 (2007)Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)., , , , , , , и . CoRR, (2022)Bayesian Analysis of Nonlinear Autoregression Models Based on Neural Networks., , , и . Neural Comput., 17 (2): 453-485 (2005)Serializability for eventual consistency: criterion, analysis, and applications., , , и . POPL, стр. 458-472. ACM, (2017)Modular Product Programs., , и . ESOP, том 10801 из Lecture Notes in Computer Science, стр. 502-529. Springer, (2018)