Polymorphic systems with arrays: decidability and undecidability

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Roscoe, A, Lazic, R, Newcomb, T
Ձևաչափ: Conference item
Հրապարակվել է: 2003