The workshop aims to bring together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic... [ Háskólinn í Reykjavík | 4.6.2016 None ]
↧