Other formats:
BibTeX
LaTeX
RIS
@misc{1079069, author = {Klíč, Karel and Šuta, Matej and Dupal, Jan and Brukner, Tomáš}, keywords = {abstract interpretation}, title = {Canal 1}, url = {https://github.com/karelklic/canal}, year = {2012} }
TY - ID - 1079069 AU - Klíč, Karel - Šuta, Matej - Dupal, Jan - Brukner, Tomáš PY - 2012 TI - Canal 1 KW - abstract interpretation UR - https://github.com/karelklic/canal N2 - Abstract interpreter for real-world application programs ER -
KLÍČ, Karel, Matej ŠUTA, Jan DUPAL and Tomáš BRUKNER. \textit{Canal 1}. 2012.
|