Tim Heyer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1997

2 Staffan Bonnier, Tim Heyer: COMPASS: A Comprehensible Assertion Method. TAPSOFT 1997: 803-817

1995

1 Tim Heyer: Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. AADEBUG 1995: 35-50

	1997
2		Staffan Bonnier, Tim Heyer: COMPASS: A Comprehensible Assertion Method. TAPSOFT 1997: 803-817
	1995
1		Tim Heyer: Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. AADEBUG 1995: 35-50

Coauthor Index

1 Staffan Bonnier [2]