. . . "Squeeze All the Power Out of Your Hardware to Verify Your Software!" . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters (dohled\u00E1no podle ISSN)" . "8"^^ . "RIV/00216224:14330/08:00024322!RIV10-GA0-14330___" . . "8"^^ . "8.074"^^ . . . "8.074"^^ . "1"^^ . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F08%3A00024322!RIV10-GA0-14330___"^^ . . . "mD7kqsAs+PLbQJdnRvo9Q3iR-Zs=" . . . . "Leveraging Applications of Formal Methods, Verification and Validation" .