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