Papers."The conference included two workshop days, a tutorial day, and four days for the main program." -- pref.
形態の詳細:
ill.
資料詳細
要約等:
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Pe...