Choi, Young-June
11  results:
Search for persons X
?
3

Automated technology for verification and analysis 

6th international symposium, ATVA 2008, Seoul, Korea, Octob...  Lecture notes in computer science ; 5311
 
?
4

Katherine Mansfield and the Arts 

Katherine Manfield Studies, Volume 3  Katherine Mansfield Studies, KMS
 
?
 
?
 
?
9

Surveys in contemporary mathematics 

London Mathematical Society lecture note series ; 347
 
1-11