Search for items in libraries:

Title: Formal Aspects of Computing By: Zhiping Shi ISSN: 0934-5043 Volume: 30 Issue: 6 Remove frames