Showing 1 - 1 results of 1 for search 'Johannes Eriksson', query time: 0.02s
Refine Results
-
1
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support by Ralph-Johan Back, Johannes Eriksson
Published 2012-02-01
Article