Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Book Informaton

Author

Corina S. Păsăreanu

Series

Synthesis Lectures on Software Engineering

Publisher

Springer International Publishing

Pages

IX, 65

Language

EN

ISBN

9783031003417, 9783031025518

ARI Id

1665389688698

Find on

World Cat

Internet Archive

This page has been accessed 5 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo