Masarykova univerzita
Nahlášení neoprávněně vloženého souboru
česky
SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. In Mariëlle Stoelinga, Ralf Pinger.
Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012
. Berlin, Heidelberg: Springer, 2012, s. 207-221. ISBN 978-3-642-32468-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-32469-7_14.
Vyberte, kterého ze souborů se neoprávněné vložení týká.
/publication/984069/sse.pdf
Váš e-mail:
Zdůvodnění:
Zadejte tento
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.