"0.25"^^ . "Teaching Formal Methods" . . . "0.83999999999999996891"^^ . . . "1.6799999999999999378"^^ . "40B3ADBD884A4C24135B5A53774DF12DBBFA5F68" . "8.0"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F67985807%3A_____%2F09%3A00334299!RIV10-AV0-67985807"^^ . . "Metodika hodnocen\u00ED, nov\u011B hodnocen\u00FD v\u00FDsledek, \u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters (dohled\u00E1no podle ISBN)." . . . "On Teaching Formal Methods: Behavior Models and Code Analysis" . "6.7199999999999997513"^^ . "RIV/67985807:_____/09:00334299!RIV10-AV0-67985807" . . . . "2.0"^^ . .