Ing.

Štefan Martiček

Member


imarticek@fit.vut.cz
A220 Office
156086/BUT personal ID

Products

  • 2023

    2LS: Static Analyser and Verifier, version 0.10, software
    Authors: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn

Back to top