Ralph-Johan Back profile picture

Ralph-Johan Back

Is this your author profile? Create an account to customize it!

Stand Alone

Transactions on Computational Systems Biology XI
Transactions on Computational Systems Biology XIII
Transactions on Computational Systems Biology XIII
Refinement calculus: a systematic introduction
Invariant Based Programming Revisited