Programming languages and systems 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	APLAS (BerichterstatterIn)
Weitere Verfasser:	Garrigue, Jacques (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8858
Schlagworte:	Konferenzschrift > Programmiersprache > Formale Methode > Programmanalyse > Programmverifikation > Programmierlogik
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!