Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Bibliographische Detailangaben

Hauptverfasser:	Bultan, Tevfik, Hsiung, Pao-Ann
Format:	Buch
Sprache:	eng
Schlagworte:	Automatic theorem proving Computer programming, programs, data Congresses
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!