Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Comparative Analysis of Tools for Automated Software Re-engineering Purposes

Wagner, Christian; Margaria, Tiziana; Pagendarm, Hans-Georg

doi:10.1109/isola.2006.67

Checking…

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Comparative Analysis of Tools for Automated Software Re-engineering Purposes

by Wagner, Christian, Margaria, Tiziana, Pagendarm, Hans-Georg

Be the first to rate this book

English2006

About this book

No description available for this edition yet.

Published by IEEE (2006).

Details

Publisher: IEEE

Rate this book

Quick info

Language: English
Published: 2006
Availability: Checking…

About this scholarly article

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Comparative Analysis of Tools for Automated Software Re-engineering Purposes by Wagner, Christian; Margaria, Tiziana; Pagendarm, Hans-Georg is a scholarly article available to read on EtoBox.

Author

Wagner, Christian; Margaria, Tiziana; Pagendarm, Hans-Georg

Publisher

IEEE

Published

2006

Language

Genres

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Comparative Analysis of Tools for Automated Software Re-engineering Purposes

About this book

Details

Rate this book

Quick info

Genres

About this scholarly article

More by Wagner, Christian; Margaria, Tiziana; Pagendarm, Hans-Georg

Genres

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Comparative Analysis of Tools for Automated Software Re-engineering Purposes

About this book

Details

Rate this book

Quick info