Yoav Hollander

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Yoav Hollander: Is Verification Getting Too Complex? Haifa Verification Conference 2008: 4

2001

1 Yoav Hollander, Matthew Morley, Amos Noy: The e Language: A Fresh Separation of Concerns. TOOLS (38) 2001: 41-50

	2008
2		Yoav Hollander: Is Verification Getting Too Complex? Haifa Verification Conference 2008: 4
	2001
1		Yoav Hollander, Matthew Morley, Amos Noy: The e Language: A Fresh Separation of Concerns. TOOLS (38) 2001: 41-50

Coauthor Index