The quotient of an abstract interpretation

Autor:	Cortesi, Agostino, Filé, Gilberto, Winsborough, William
Zdroj:	In Theoretical Computer Science 1998 202(1):163-192
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect