1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2012
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
Ralph-Johan Back, Johannes Eriksson
Invariant-Based Programming (IBP) is a diagram-based correct-by-construction programming methodology in which the program is structured around the invariants, which are additionall…
eess.SY2012★ 1 cited
Proceedings First Workshop on CTP Components for Educational Software
Pedro Quaresma, Ralph-Johan Back
The THedu'11 workshop received thirteen submissions, twelve of which were accepted and presented during the workshop. For the post-conference proceedings nine submission where rece…
cs.CE2009
Proceedings Second International Workshop on Computational Models for Cell Processes
Ralph-Johan Back, Ion Petre, Erik de Vink
The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction…