Engineering mathematics.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Abstraction, refinement and proof for probabilistic systems by: (Language materials, printed)

Subjects

005.1