Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 31 - 40 of 80 (page 4 of 8)
Personal Author
More
Topic Subject
More
Series Title
More

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings E-book (2012.)
Add to basket

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers E-book (2012.)
Add to basket

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday E-book (2012.)
Add to basket

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings E-book (2012.)
Add to basket

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings E-book (2011.)
Add to basket

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings E-book (2011.)
Add to basket

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings E-book (2010.)
Add to basket

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings E-book (2010.)
Add to basket

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings E-book (2010.)
Add to basket

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings E-book (2010.)
Add to basket

Search Results Facets

Search Results List

Results 31 - 40 of 80 (page 4 of 8)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources