Ching-Tsun Chou
-
Representing Object Code
CL '00 Proceedings of the First International Conference on Computational Logic
Testing and proving distributed algorithms in constructive type theory
TAP'07 Proceedings of the 1st international conference on Tests and proofs