Searching for "Specification Predicates with Explicit Dependency Information." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Specification Predicates with Explicit Dependency Information
by Richard Bubel, Reiner Hähnle, Peter H. Schmitt
…Specification Predicates with Explicit Dependency Information Richard Bubel 1 , Reiner Hähnle 1…
Add To MetaCart

Workshop Program 5th International Verification Workshop – VERIFY’08
by Bernhard Beckert, Gerwin Klein (chairs, Bernhard Beckert, Gerwin Klein Iv V, Bernhard Beckert, Gerwin Klein, Peter Baumgartner, Bruno Dutertre, Reiner Hähnle, Joseph Kiniry, Stephan Merz, Carroll Morgan, Peter Müller, Michael Norrish — 2008
… . . . . . . . . . . . . . . . . . . . . . . . 12 Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif Specification Predicates with Explicit…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB