Searching for "The apprentice challenge." – sorted by Relevance.
-
The Apprentice Challenge
- The Apprentice Challenge J. STROTHER MOORE and GEORGE PORTER University of Texas at Austin We
- Cited by 19 (8 self) – Add To MetaCart
-
The Apprentice Challenge
- The Apprentice Challenge J STROTHER MOORE University of Texas at Austin and GEORGE PORTER
- Add To MetaCart
-
Solving the Apprentice Challenge with 3VMC November 28, 2002 Problem Statement
- Solving the Apprentice Challenge with 3VMC November 28, 2002 Problem Statement The apprentice
- Add To MetaCart
-
Property-Guided Verification of Concurrent Heap-Manipulating Programs
- . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168 7.3 Solving the Apprentice Challenge . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
- Cited by 2 (0 self) – Add To MetaCart

