Nine Papers to be presented at CAV, the leading Computer Aided Verification conference
Posted: 24th March 2011
Members of the Computing Laboratory will have co-authored a total of 9 papers (out of 55 accepted papers) at the upcoming Conference on Computer Aided Verification, a premier event in formal verification.