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
Refinement calculus: a systematic introduction
Invariant Based Programming Revisited
Transactions on Computational Systems Biology XIII