Polymorphic systems with arrays: decidability and undecidability
A. W. Roscoe‚ R. S. Lazic and T. C. Newcomb
Book Title
Proceedings of South−East Europe Workshop on Formal Methods
Month
August
Note
Extended abstract
Year
2003
A. W. Roscoe‚ R. S. Lazic and T. C. Newcomb