Thomas Braibant

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal Verification of Hardware Synthesis
Thomas Braibant and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Coquet: A Coq Library for Verifying Hardware
Thomas Braibant (2011) · Lecture notes in computer science · Springer Science+Business Media
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)