Our researchers involved in the EU-funded Research Center for Informatics (RCI) met in Kutná Hora to present their research results.
HLAVIČKA, J. and O. NOVÁK. Methods of Pseudoexhaustive Test Pattern Generation. [Research Report] Praha: Czech Technical University in Prague, 1998. Report no. DC-98-08.