> Detailanzeige

Lisitsa, Alexei [HerausgeberIn]; Nemytykh, Andrei [HerausgeberIn] ; International Workshop on Verification and Program Transformation 1. 2013 Sankt Petersburg

VPT 2013 : First International Workshop on Verification and Program Transformation

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-Book; Konferenzbericht
  • Titel: VPT 2013 : First International Workshop on Verification and Program Transformation
  • Beteiligte: Lisitsa, Alexei [HerausgeberIn]; Nemytykh, Andrei [HerausgeberIn]
  • Erschienen: [Manchester]: EasyChair, July 25, 2013
  • Erschienen in: EPiC series in computing ; 16
  • Umfang: 1 Online-Ressource; Illustrationen
  • Sprache: Englisch
  • Schlagwörter: Konferenzschrift
  • Entstehung:
  • Anmerkungen: "This volume contains the papers presented at VPT 2013: First International Workshop on Verification and Program Transformation held on July 12-13, 2013 in Saint Petersburg. The workshop was affiliated with the 25th International Conference on Computer Aided Verification CAV 2013." - Vorwort
    Laut Webseite des Workshops fand dieser vom 13.-14. Juli statt und die übergeordnete Konferenz vom 13.-19. Juli
    Literaturangaben
  • Zugangsstatus: Freier Zugang