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:

URL

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
Displayed: 14/11/2024 06:16