Simplifying software verification techniques

Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software

Related Keywords

Illinois ,United States ,United Kingdom ,University Of Illinois ,London ,City Of ,Maribel Fernandez ,King College London ,Royal Society International Exchanges Grant ,University Of Illinois At Urbana Champaign ,Computer Science ,Professor Maribel ,