The symbolic execution of software

שנה

1995

שפה

English

הוצאה

International Thomson Computer Press

מהדורות

1

עמודים

155

ISBN

9780412583407

מקור הנתונים: Wikidata