págs. 445-480
Data Abstraction and Information Hiding
M. Leino, K. Rustan, G. Nelson
págs. 491-553
The Undecidability of Associativity and Commutativity Analysis
Arthur Charlesworth
págs. 554-565
págs. 566-590
© 2001-2024 Fundación Dialnet · Todos los derechos reservados