Programming languages and systems 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings

Bibliographische Detailangaben

Körperschaft:	APLAS Suzhou (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Cham Springer [2017]
Schriftenreihe:	Lecture notes in computer science 10695
Schlagworte:	Formale Methode Programmierlogik Programmanalyse Programmverifikation Programmiersprache Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!