Phạm Trần Nhu., & Nguyễn Văn Trường. Combining formal methods for embedded systems.
Trích dẫn kiểu ChicagoPhạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.
ציטוט MLAPhạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.