×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [p holds]
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 1 Summer school on Formal Models
214 views
Exposing Architecture in Hybrid Programs
112 views
Statistical Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University
217 views
Protein Synthesis An intro to this section!. Transcription Making RNA from DNA 296-297; 300-303
218 views
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning
220 views
Statistical Probabilistic Model Checking
42 views
Extensible Untrusted Code Verification Robert Schneck with George Necula and Bor-Yuh Evan Chang May 14, 2003 OSQ Retreat
216 views
Prof. Fateman CS 164 Lecture 231 Foundations of Theory of Programming Languages: Introduction to Lambda Calculus Lecture 23
212 views
Fundamentals of Fault-Tolerant Distributed Computing In Asynchronous Environments
52 views