Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)

کد مقاله	کد نشریه	سال انتشار	مقاله انگلیسی	نسخه تمام متن
433213	1441646	2015	5 صفحه PDF	دانلود رایگان

عنوان انگلیسی مقاله ISI

رایگان برای ایرانیان

موضوعات مرتبط

مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات

پیش نمایش صفحه اول مقاله

ناشر

Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volumes 107â108, September 2015, Page 1

نویسندگان

Rohit Gheyi, Juliano Iyoda,