Sie haben auf den externen Link "https://sigplan.org/Awards/Dissertation/2005_gulwani.pdf" geklickt. Damit verlassen Sie die Website von DR.DRUM.

Gehe zu https://sigplan.org/Awards/Dissertation/2005_gulwani.pdf.