S

Susan Speer Owicki

1 books found

Books by Susan Speer Owicki

Axiomatic proof techniques for parallel programsSusan Speer Owicki

Axiomatic proof techniques for parallel programs

Susan Speer Owicki