Attila Csenki

Dependability for systems with a partitioned state space

Applications of Prolog

Prolog Techniques