KLÍČ, Karel, Matej ŠUTA, Jan DUPAL and Tomáš BRUKNER. Canal 1. 2012.
Other formats:   BibTeX LaTeX RIS
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 is not subject to a state or trade secret
WWW URL
Keywords in English abstract interpretation
Changed by Changed by: Mgr. Karel Klíč, učo 99315. Changed: 21/12/2012 15:40.
Abstract
Abstract interpreter for real-world application programs
PrintDisplayed: 19/7/2024 01:42