Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pasareanu, Corina S, Salaün, Gwen
Format:	Buch
Sprache:	eng
Schlagworte:	Computer programming, programs, data Congresses Formal methods (Computer science)
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung: