. . . "Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4" . "D8UR3a8RFpURifuxYc5F2WIjtLU=" . . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F07%3APU86448!RIV10-MSM-26230___"^^ . "0"^^ . . "0"^^ . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . "0"^^ . "Type Checking by Context-Sensitive Languages" . . . "0"^^ . . . "1"^^ . "RIV/00216305:26230/07:PU86448!RIV10-MSM-26230___" .