Stefan Kobischke

According to our database, Stefan Kobischke authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.

Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018