Modal proofs as distributed programs (Extended Abstract) (2004)

by Limin Jia , David Walker
Venue:EUROPEAN SYMPOSIUM ON PROGRAMMING
Citations:21 - 0 self