Functional synthesis via input–output separation

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

بصمة

أدرس بدقة موضوعات البحث “Functional synthesis via input–output separation'. فهما يشكلان معًا بصمة فريدة.

Keyphrases

Computer Science