Han-Hing Dang

	2011
3		Han-Hing Dang, Peter Höfner: Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMICS 2011: 125-140
2		Han-Hing Dang, Peter Höfner, Bernhard Möller: Algebraic separation logic. J. Log. Algebr. Program. 80(6): 221-247 (2011)
	2009
1		Han-Hing Dang, Peter Höfner, Bernhard Möller: Towards Algebraic Separation Logic. RelMiCS 2009: 59-72

Coauthor Index

1	Peter Höfner	[1] [2] [3]
2	Bernhard Möller	[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page