Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2009.11a
- /
- Pages.873-874
- /
- 2009
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Improvement of L*-based Assume Guarantee Reasoning
L* 기반의 Assume Guarantee Reasoning의 개선
- Lee, Jungjae (Dept. of Computer Science, Korea University) ;
- Choi, Jin-Young (Dept. of Computer Science, Korea University)
- Published : 2009.11.13
Abstract
Keywords