Computer Science Technical Reports 2002: AVoCS 2002 - Proceedings of the 2nd Workshop on Automated Vertification of Critical Systems 15-16 April, Birmingham United Kingdom

Gethin Norman; Marta Kwiatkowska; Dimitar Guelev

Computer Science Technical Reports 2002: AVoCS 2002 - Proceedings of the 2nd Workshop on Automated Vertification of Critical Systems 15-16 April, Birmingham United Kingdom

Gethin Norman, Marta Kwiatkowska, Dimitar Guelev

Computer Science

Research output: Working paper/Preprint › Working paper

Original language	English
Publication status	Published - 1 Jan 2002

Cite this

@techreport{374e207dbe7d429a9f20f17191febcfd,

title = "Computer Science Technical Reports 2002: AVoCS 2002 - Proceedings of the 2nd Workshop on Automated Vertification of Critical Systems 15-16 April, Birmingham United Kingdom",

author = "Gethin Norman and Marta Kwiatkowska and Dimitar Guelev",

year = "2002",

month = jan,

day = "1",

language = "English",

type = "WorkingPaper",

}