Autor:	Bernd Finkbeiner, Hans-Jörg Peter
Rok vydání:	2012
Předmět:	Presentation Programming language Computer science Bounded function media_common.quotation_subject computer.software_genre computer media_common
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 84
ISSN:	2075-2180
DOI:	10.4204/eptcs.84.0.2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b80ab1a2441fc7865f85cf5a9d730e2a https://doi.org/10.4204/eptcs.84.0.2 Zobrazit plný text záznamu