Statistics
Publications
4
Citations
129
H-Index
4
Active since
2002
Affiliations
University of Bern(Current)
Franz Achermann is an author at University of Bern specializing in computer science, formal verification, and software design.
Publications per year
2002–2018
4
4
Piccola - a Small Composition Language
Franz Achermann, Markus Lumpe, Jean-Guy Schneider et al. · 2017 · 63 citations · Full text
Towards a formal composition language
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz et al. · Bern Open Repository and Information System (University of Bern) · 2018 · 24 citations · Full text
1–4 of 4