دانلود کتاب Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
by Marieke Huisman, Corina Păsăreanu, Naijun Zhan
|
عنوان فارسی: روشهای رسمی: بیست و چهارمین سمپوزیوم بینالمللی، FM 2021، رویداد مجازی، 20 تا 26 نوامبر 2021، مجموعه مقالات |