Další formáty:
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 a Tomáš BRUKNER. \textit{Canal 1}. 2012.
|
