Tim Heyer

According to our database¹, Tim Heyer authored at least 3 papers between 1995 and 2001.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2001

Semantic Inspection of Software Artifacts From Theory to Practice.

[BibT_eX]

[DOI]

PhD thesis, 2001

1997

COMPASS: A Comprehensible Assertion Method.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1995

Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995