Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software (2007)

Cached

Download Links

by Robert Glück , Masami Hagiya
Venue:THE 3RD DIKU-IST JOINT WORKSHOP ON FOUNDATIONS OF SOFTWARE