Ahsan Fayyaz

	2006
1		David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz: Proof general in Eclipse: system and architecture overview. ETX 2006: 45-49

Coauthor Index

1	David Aspinall	[1]
2	Christoph Lüth	[1]
3	Daniel Winterstein	[1]