Heike Wehrheim
Periodo de publicación recogido
|
|
|
|
|
-
Artículos de revistas
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
Marie-Christine Jakobs, Heike Wehrheim
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 39, Nº 2, 2017
Mechanically verified proof obligations for Linearizability
John Derrick, Gerhard Schellhorn, Heike Wehrheim
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 33, Nº 1, 2011, pág. 4
-
Colaboraciones en obras colectivas
TSSB-3M: mining single statement bugs at massive scale
Cedric Richter, Heike Wehrheim
The 2022 Mining Software Repositories Conference: MSR 2022 : 18-20 May 2022, Virtual23-24 May 2022, Pittsburgh, Pennsylvania : Proceedings, 2022, ISBN 978-1-4503-9303-4, págs. 418-422
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
