Principy a provedení osazovacích automatů pro SMT bakalářská práce - Plášek, Petr (2001)
Keywords: IIT; SMT; automaty; osazovací; bakalářská práce