Deductive Verification of Infinite-State Stochastic Systems using Martingales Subtitle
By : Jitendra Shinde
Book Info