1
منشور في 2007
جدول المحتويات: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
احصل على النص الكامل
الكتروني كتاب الكتروني