Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill Kuvarsüsteem PRIMUS : metoodiline juhend1986 https://www.ester.ee/record=b1233595*est An open-source library of large integer polynomial multipliersImran, Malik; Abideen, Zain Ul; Pagliarini, Samuel Nascimento24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Vienna, Austria, April 7-9 20212021 / p. 145-150 : ill https://doi.org/10.1109/DDECS52668.2021.9417065