Change 11281
| Time | Attribute with previous and current values | ||||
|---|---|---|---|---|---|
|
Change #11281
2011-10-21
16:08:02
|
update Calagator::Event 1250461509 A New Approach to Temporal Property Verification, Brian Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London Roll back
|