Process management
Measures of relationships
The Relevance of Diagnostics in Automotive Software Development
Sdd Testing & Evaluating
Spatial data analysis 2
46630497 fun-pointer-1
DLI Orientation: Concepts A Framework for Thinking about Statistical Information Chuck Humphrey Data Library University of Alberta April 2004.
AIM, Palo Alto, August 2006 T. Witten, University of Chicago.
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
COMP 110: Introduction to Programming Tyler Johnson Feb 11, 2009 MWF 11:00AM-12:15PM Sitterson 014.
technische universität dortmund fakultät für informatik informatik 12 Communicating finite state machines Peter Marwedel TU Dortmund Informatik 12 2012.
Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005.