Data independence with predicate symbols

Detalhes bibliográficos
Principais autores: Roscoe, A, Lazic, R
Formato: Conference item
Publicado em: CSREA Press 1999