Tobias Hartmann

Affiliations:
  • University of Bremen, Germany (PhD 2015)


According to our database1, Tobias Hartmann authored at least 2 papers between 2008 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Testing End-To-End Chains using Domain Specific Languages.
PhD thesis, 2015

2008
Specification of Conditions for Error Diagnostics.
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008


  Loading...