Programming languages and software engineering

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science Number 81 | October 2003

James Scott, Mike Hazas

Proceedings of the Fifth International Conference on Ubiquitous Computing (UbiComp 2003) | October 2003

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Miguel Castro, Roger S. Foster, Kevin Gunn, Edward B. Roberts

IEEE Transactions on Engineering Management | September 2003, Vol 50

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Adam Tauman Kalai

Journal of Cryptology | September 2003, Vol 16(4): pp. 287-289

A.R. Thakar, A.S. Szalay, P.Z. Kunszt, Jim Gray

Computing in Science and Engineering | September 2003, Vol 5(5): pp. 16-29

Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn

Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell’03), Uppsala, Sweden | August 2003

Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden