Programming languages and systems 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	ESOP (BerichterstatterIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Barthe, Gilles (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2011
Schriftenreihe:	Lecture notes in computer science 6602
Schlagworte:	Konferenzschrift > Programmiersprache > Formale Methode > Programmverifikation > Programmanalyse > Softwaresystem > Model Checking
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!