Formal requirements for virtualizable third generation architectures

Abstract
No abstract available