logic-cs.at - LogiCS | Degree Programs in Logic and Computer Science at TU Vienna

Keywords: logics, anna lukina, phd in logic, marijana lazic, the logics

arise.or.at - ARiSE | Austrian Society for Rigorous Systems Engineering

Keywords: co-advisor, krishnendu chatterjee, comparator in quantitative verification, vojtech forejt dblp, suguman bansal

cav2013.forsyte.at - CAV 2013 | 25th International Conference on Computer Aided Verification

dbai.tuwien.ac.at - DBAI

forsyte.at - FORSYTE.at

Keywords: TU Wien, concur, formal methods, Static Analysis, model checking, test case generation, tu vienna, forsyte, helmut veith, pattern ...