> Detailanzeige

Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]

Using Relational Verification for Program Slicing

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel; Elektronischer Konferenzbericht; Sonstige Veröffentlichung
  • Titel: Using Relational Verification for Program Slicing
  • Beteiligte: Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]
  • Erschienen: Springer, 2019-01-01
  • Sprache: Englisch
  • DOI: https://doi.org/10.1007/978-3-030-30446-1_19
  • ISBN: 978-3-030-30445-4
  • ISSN: 0302-9743; 1611-3349
  • Schlagwörter: DATA processing & computer science
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Zugangsstatus: Freier Zugang