Imperial College / Munich University of Technology / Bradford University / Student University / Florida Atlantic University / /
IndustryTerm
rigorous analysis tools / formal modelling tool / possible systems / /
Organization
Department of Computer Science & Engineering / Student University / Department of Computing / Bradford University / Imperial College / Department of Computer Science / An association / Florida Atlantic University / Munich University of Technology / /