1.
|
A data mining approach to computational taxonomy Perichinsky, Gregorio - García Martínez, Ramón
|
2.
|
Model checking RAISE applicative specifications Perna, Juan I. - George, Chris W.
|