Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design

গ্রন্থ-পঞ্জীর বিবরন
অন্যান্য লেখক: Claessen
বিন্যাস: বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
ভাষা:ইংরেজি
প্রকাশিত: Association for Computing Machinery (ACM), 10/21/14
বিষয়গুলি:
অনলাইন ব্যবহার করুন:Full text available on Research4Life (ACM)