APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.