Morten P. Lindegaard

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 Morten P. Lindegaard, Anne Elisabeth Haxthausen: Proof Support for RAISE by a Reuse Approach Based on Institutions. AMAST 2004: 319-333

	2004
1		Morten P. Lindegaard, Anne Elisabeth Haxthausen: Proof Support for RAISE by a Reuse Approach Based on Institutions. AMAST 2004: 319-333

Coauthor Index