Agostino Cortesi
3 published titles
Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers
(Contributor)
1 edition
- ISBN: 3540436316
- Springer
- 2002
- Details
Computer information systems and industrial management : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642409240
- Springer
- 2013
- Details
Computer information systems - analysis and technologies : 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011, proceedings
(Contributor)
1 edition
- ISBN: 9783642272448
- Springer-Verlag
- Details
