DMCA

Extending Single Assertion Specification Approach Nondeterministic Programs; Total Correctness (1994)

Cached

Download Links

by Andrzej M. Borzyszkowski
Citations:2 - 1 self