An extensible contract verifier for AspectJ
収録刊行物
-
- Proc. 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006)
-
Proc. 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006) 35-40, 2006
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1571698600722482304
-
- NII論文ID
- 10030941834
-
- データソース種別
-
- CiNii Articles
- KAKEN