The Changing Face of Standardization: A Place for Formal Methods? David DuceDavid DukeIvan Herman Original Paper 21 April 2005 Pages: 1 - 20
Probabilistic Duration Calculus for Continuous Time Dang Van HungZhou Chaochen Original Paper 21 April 2005 Pages: 21 - 44
The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract Wim H. Hesselink Original Paper 21 April 2005 Pages: 45 - 55
The Least Conjunctive Refinement and Promotion in the Refinement Calculus Brendan P. Mahony Original Paper 21 April 2005 Pages: 75 - 105