Searching for authors named "David Evans" – sorted by Relevance.
136 documents found, showing 1 through 10.
Next 10 →
-
Using Specifications to Check Source Code
- …Using Specifications to Check Source Code David Evans 8 June, 1994 c Massachusetts Institute…
- Cited by 20 (4 self) – Add To MetaCart
-
An architecture for enforcement of usage contracts in distributed multimedia systems
- … An Architecture for Enforcement of Usage Contracts in Distributed Multimedia Systems by David…
- Cited by 1 (0 self) – Add To MetaCart
-
Inculcating invariants in introductory courses
- …Inculcating Invariants in Introductory Courses David Evans Department of Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
Teaching Software Engineering Using Lightweight Analysis
- …1 Teaching Software Engineering Using Lightweight Analysis David Evans June 2001 Summary…
- Cited by 1 (0 self) – Add To MetaCart
-
Programming the Swarm
- …Programming the Swarm David Evans University of Virginia, Department of Computer Science July 24…
- Cited by 2 (0 self) – Add To MetaCart
-
Static Detection of Dynamic Memory Errors
- …Static Detection of Dynamic Memory Errors David Evans evs@(email omitted); MIT Laboratory…
- Cited by 128 (11 self) – Add To MetaCart
-
Anniversary Issue Publication anniversaire From trauma care to injury control: a people’s history of the evolution of trauma systems
- … of the evolution of trauma systems in Canada David C. Evans, MD The last 2 decades have seen a remarkable evolution…
- Add To MetaCart
-
Isolating Drivers without Tears
- …Isolating Drivers without Tears Nathanael Paul David Evans Department of Computer Science…
- Add To MetaCart
-
Second International Workshop on Dynamic Analysis (WODA 2004)
- …Second International Workshop on Dynamic Analysis (WODA 2004) David Evans Computer Science…
- Add To MetaCart
-
Finite Covers of -Categorical Structures
- …Finite covers of @ 0 -categorical structures David M. Evans School of Mathematics, UEA, Norwich…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
