Hugo Dworak. The Design and Implementation of a Documentation Generator for the PRISM Language. In Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. pages 91-98, IEEE Computer Society, 2009. [doi]
Abstract is missing.