Proof Planning:Methodology for Product Configuration

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning:Methodology for Product Configuration. 1998. GL 58/98.