Telecharger Cours

Methods for the automatic acquisition of Language Resources and ...

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8.



Download