A computational logic-based approach to verification of IT systems

Conference proceeding

Peer reviewed

M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, Marco Montali, S Storari and P Torroni

Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA), pp.115-125

14th HP Software University Association Workshop (HP-SUA 2007) (Garching/Munich, 11/07/2007 - 14/07/2007)

2007

Handle:

https://hdl.handle.net/10863/2923

Details

Title: A computational logic-based approach to verification of IT systems
Creators: M Alberti
F Chesani
M Gavanelli
E Lamma
P Mello
Marco Montali
S Storari
P Torroni
Publication Details: Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA), pp.115-125
Editor(s): Hegering HG
ISBN: 978-3-000-21690-9
Conference: 14th HP Software University Association Workshop (HP-SUA 2007) (Garching/Munich, 11/07/2007 - 14/07/2007)
Publisher: Infonomics-Consulting
Stuttgart
Format: Print
Number of pages: 12
Identifiers: 978-3-000-21690-9
(UNIBZ)919260
991005772834101241
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Montali M, Storari S, Torroni P
Additional Description: srcEditors: Hegering HG

12 Record Views