20th International Conference on Computing in High Energy and Nuclear Physics (CHEP2013)

Details for Adrian Casajus Ramo

Affiliation: University of Barcelona (ES)

Author in the following contribution

• Round-tripping DIRAC: Automated Model-Checking of Concurrent Software Design Artifacts