Eunsuk Kang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Eunsuk Kang, Daniel Jackson: Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308

2007

1 Eunsuk Kang, Mark Aagaard: Improving the Usability of HOL Through Controlled Automation Tactics. TPHOLs 2007: 157-172

	2008
2		Eunsuk Kang, Daniel Jackson: Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308
	2007
1		Eunsuk Kang, Mark Aagaard: Improving the Usability of HOL Through Controlled Automation Tactics. TPHOLs 2007: 157-172

Coauthor Index

1 Mark Aagaard [1]

2 Daniel Jackson [2]

Colors in the list of coauthors