Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

Bibliographische Detailangaben

1. Verfasser:	Danielsson, Nils Anders (VerfasserIn)
Körperschaft:	POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	New York,NY,United States Association for Computing Machinery 2014
Schriftenreihe:	ACM Conferences
Online-Zugang:	DE-19 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!