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