2014 formal methods in computer-aided design (FMCAD 2014) Lausanne, Switzerland, 21 - 24 October 2014

Bibliographische Detailangaben

Körperschaften:	Association for Computing Machinery Special Interest Group on Programming Languages (BerichterstatterIn), Association for Computing Machinery Special Interest Group on Software Engineering (BerichterstatterIn), IEEE Council on Electronic Design Automation (BerichterstatterIn)
Weitere Verfasser:	Claessen, Koen (BerichterstatterIn), Kuncak, Viktor (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Piscataway, NJ IEEE 2014
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!