Johannes Eriksson
Orcid: 0000-0002-8676-5623
According to our database1,
Johannes Eriksson
authored at least 8 papers
between 2005 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the Practical Aspects of Declarative Languages, 2020
2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2015
J. Log. Algebraic Methods Program., 2015
2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
2011
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
2010
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.
Proceedings of the Formal Methods and Software Engineering, 2010
2007
Proceedings of the Tests and Proofs - 1st International Conference, 2007
2005
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005