Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Corina S. Pasareanu | lit.salon

Author

Corina S. Pasareanu

4 works

2009–2014 across 3 dated works

No biography is available yet.

Start with

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings2009
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings2009
Proceedings of the 2014 International Symposium on Software Testing and Analysis2014

Books

3 works

Featured (3)Featured (3)All (4)All (4)

Search booksSort books

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings2009
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings2009
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Proceedings of the 2014 International Symposium on Software Testing and Analysis2014
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Corina S. Pasareanu.

The conversation is still open.

There is no public salon activity to show for Corina S. Pasareanu yet.