DMCA

Probabilistic Hoare-like Logics in Comparison

Cached

Download Links

by Miguel D. Vásquez , Pedro R. D’argenio