Dyfyniad APA

Phạm Trần Nhu., & Nguyễn Văn Trường. Combining formal methods for embedded systems.

Dyfyniad Arddull Chicago

Phạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.

Dyfyniad MLA

Phạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.