Forbes AvenuePittsburgh

Gibbs-markov Models

Forbes AvenuePittsburgh, 1995 .

Compiler Veriication in Lf

Forbes AvenuePittsburgh, Forbes AvenuePittsburgh, 1992 .

Model Checking Software Systems : A Case

Forbes AvenuePittsburgh, Forbes AvenuePittsburgh, StudyJeannette M. Wing, 1995 .

Memory Based Stochastic Optimization for Validation and Tuning of Function Approximators

Forbes AvenuePittsburgh, 1997 .