GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Dissertations
  • D18 (2017) - Ausgezeichnete Informatikdissertationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Dissertations
  • D18 (2017) - Ausgezeichnete Informatikdissertationen
  • View Item

On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring

Author:
Jakobs, Marie-Christine [DBLP]
  • Citation
  • BibTeX
Jakobs, M.-C., (2018). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. In: Hölldobler, S. (Hrsg.), Ausgezeichnete Informatikdissertationen 2017. Bonn: Gesellschaft für Informatik e.V.. (S. 91-100).
@inproceedings{mci/Jakobs2018,
author = {Jakobs, Marie-Christine},
title = {On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
year = {2018},
editor = {Hölldobler, Steffen} ,
pages = { 91-100 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
invited_paper_14.pdf158.2Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-977-1
xmlui.MetaDataDisplay.field.date: 2018
Language: de (de)
Content Type: Text/Conference Paper
Collections
  • D18 (2017) - Ausgezeichnete Informatikdissertationen [29]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.