Proof Planning:Methodology for Product Configuration

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning:Methodology for Product Configuration. [Research Report] Praha: ČVUT FEL, Katedra řídicí techniky - Gerstnerova laboratoř, 1998. Report no. GL 58/98.