Programming languages and systems 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings

Bibliographische Detailangaben

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