Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Transactions -- A Weakest Precondition Approach to Robustness -- PET SNAKE: A Special Purpose Architecture...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
“...Transactions on Computational Science...”