Trinh Ngoc Quoc Bao

According to our database, Trinh Ngoc Quoc Bao authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler.

Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017