On intervals and bounds in bit-vector arithmetic

Autor:	Mikoláš Janota, Wintersteiger, C. M.
Zdroj:	CIÊNCIAVITAE Scopus-Elsevier
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5c03781549b1d8ba647c4181e6860743 http://www.scopus.com/inward/record.url?eid=2-s2.0-84984851093&partnerID=MN8TOARS Zobrazit plný text záznamu