Masarykova univerzita

Nahlášení neoprávněně vloženého souboru

česky

SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg: Springer, 2013, s. 630-632. ISBN 978-3-642-36741-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36742-7_50.

Vyberte, kterého ze souborů se neoprávněné vložení týká.



kontrolní kód 
Pro odeslání zprávy o vložení neoprávněného souboru je nutné vyplnit Váš e-mail, zdůvodnění a kontrolní kód.