LOPEZ-GARCIA Pedro について
IMDEA Software Inst., Madrid, ESP について
LOPEZ-GARCIA Pedro について
Spanish National Res. Council(CSIC), ESP について
DARMAWAN Luthfi について
IMDEA Software Inst., Madrid, ESP について
BUENO Francisco について
Technical Univ. Madrid, ESP について
HERMENEGILDO Manuel について
IMDEA Software Inst., Madrid, ESP について
HERMENEGILDO Manuel について
Technical Univ. Madrid, ESP について
Lecture Notes in Computer Science について
資源使用 について
検証 について
形式化 について
原型 について