John Lång

According to our database, John Lång authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Model checking a C++ software framework: a case study.

John Lång, I. S. W. B. Prasetya

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019