Formally Verifying Decompositions of Stochastic Specifications.

Anton Hampus, Mattias Nyberg

Browse the full FMICS paper archive.