Hongseok Yang
2 published titles
Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642253171
- Springer
- 2011
- Details
Footprint analysis: a shape analysis that discovers preconditions
(Contributor)
1 edition
- Queen Mary University of London, Department of Computer Science
- Details
