Author: "Palikareva, Hristina" / Publication Type: Books - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Palikareva, Hristina"' showing total 5 results

Start Over Author "Palikareva, Hristina" Publication Type Books

5 results on '"Palikareva, Hristina"'

1. Multi-solver Support in Symbolic Execution

Author: Palikareva, Hristina, primary and Cadar, Cristian, additional
Published: 2013
Full Text: View/download PDF

2. Recent Developments in FDR

Author: Armstrong, Philip, primary, Goldsmith, Michael, additional, Lowe, Gavin, additional, Ouaknine, Joël, additional, Palikareva, Hristina, additional, Roscoe, A. W., additional, and Worrell, James, additional
Published: 2012
Full Text: View/download PDF

3. Static Livelock Analysis in CSP

Author: Ouaknine, Joël, primary, Palikareva, Hristina, additional, Roscoe, A. W., additional, and Worrell, James, additional
Published: 2011
Full Text: View/download PDF

4. Multi-solver Support in Symbolic Execution.

Author: Palikareva, Hristina and Cadar, Cristian
Published: 2013
Full Text: View/download PDF

5. Recent Developments in FDR.

Author: Armstrong, Philip, Goldsmith, Michael, Lowe, Gavin, Ouaknine, Joël, Palikareva, Hristina, Roscoe, A. W., and Worrell, James
Published: 2012
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results