Programming Languages Meets Program Verification (PLPV)

Allgemeine Angaben zur Online-Ausgabe der Zeitschrift:

Titel:

Programming Languages Meets Program Verification (PLPV)

Verlag / Anbieter:

Association for Computing Machinery (ACM)
Open Access Policy des Verlages in SHERPA/RoMEO suchen

Fachgebiet(e):

Informatik

Schlagwörter:

Programmiersprachen | Konferenzschrift

Sprache(n):

Englisch

ZDB-Nummer:

2684376-6

erste Volltextausgabe:

(2007)

Homepage(s):

https://dl.acm.org/event.cfm?id=RE180&tab=pubs

Erscheinungsweise:

Volltext, Online und Druckausgabe

Kosten für Lesezugang:

kostenpflichtig