Skip to top bar Skip to header Skip to content Skip to footer

Publications Detailed Information on Publication Record

Detailed Information on Publication Record

R 2012

Canal 1

KLÍČ, Karel, Matej ŠUTA, Jan DUPAL and Tomáš BRUKNER

Basic information

Original name

Canal 1

Authors

KLÍČ, Karel, Matej ŠUTA, Jan DUPAL and Tomáš BRUKNER

Edition

2012

Other information

Type of outcome

Software

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

Keywords in English

abstract interpretation

Změněno: 21/12/2012 15:40, Mgr. Karel Klíč

Abstract

V originále

Abstract interpreter for real-world application programs

Citovat

ČSN ISO 690
BibTeX
LaTeX
RIS

KLÍČ, Karel, Matej ŠUTA, Jan DUPAL and Tomáš BRUKNER. Canal 1. 2012.

@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.