Reasoning about Denotations of Recursive Objects (2006)

Cached

Download Links

by Jan Schwinghammer
Citations:4 - 0 self