Department of Artificial Intelligence and Systems Engineering
.NET (1) · abstraction (2) · abstraction refinement (2) · Boolean Satisfiability (1) · CHC (1) · contract (1) · contract synthesis (1) · deductive verification (1) · educational tool (1) · formal verification (3) · git (1) · Horn-clauses (1) · interprocedural (1) · Learning Management Systems (1) · model checking (2) · moodle (1) · safety critical systems (1) · stack (1) · Theta* (2) · version control systems (1)
4 theses in total. View all theses »