Bernhard Steffen
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci and others (2019) · Tools and Algorithms for the Construction and Analysis of Systems · Springer International Publishing
The physics of software tools: SWOT analysis and vision
Bernhard Steffen (2017) · International Journal on Software Tools for Technology Transfer · Springer Science and Business Media LLC
The METAFrame'95 environment
Bernhard Steffen and others (1996) · Lecture notes in computer science · Springer Science+Business Media
The concurrency workbench: A semantics based tool for the verification of concurrent systems
Rance Cleaveland and others (1989) · Technical Report LFCS-89-83