Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Correct or usable? the limits of traditional verification (impact paper award)

Jackson, Daniel; Vaziri, Mandana

doi:10.1145/2950290.2994161

Checking…

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Correct or usable? the limits of traditional verification (impact paper award)

by Jackson, Daniel, Vaziri, Mandana

Be the first to rate this book

English2016

About this book

No description available for this edition yet.

Published by ACM Press (2016).

Details

Publisher: ACM Press

Rate this book

Quick info

Language: English
Published: 2016
Availability: Checking…

About this scholarly article

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Correct or usable? the limits of traditional verification (impact paper award) by Jackson, Daniel; Vaziri, Mandana is a scholarly article available to read on EtoBox.

Author

Jackson, Daniel; Vaziri, Mandana

Publisher

ACM Press

Published

2016

Language

Genres

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Correct or usable? the limits of traditional verification (impact paper award)

About this book

Details

Rate this book

Quick info

Genres

About this scholarly article

More by Jackson, Daniel; Vaziri, Mandana

Genres

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Correct or usable? the limits of traditional verification (impact paper award)

About this book

Details

Rate this book

Quick info