Phạm Trần Nhu., & Nguyễn Văn Trường. Combining formal methods for embedded systems.
Chicago Style aipamenaPhạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.
MLA aipamenaPhạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.