Static Analysis

Autor: Cortesi, Agostino a, *, Filé, Gilberto b
Zdroj: In Science of Computer Programming 2003 47(2):89-90
Databáze: ScienceDirect