Search

You searched for: Auteur Miller, Dale Remove constraint Auteur: Miller, Dale
1 - 2 of 2
Number of results to display per page

Search Results

1. Certified Programs and Proofs
thumbnail
Full text!
Author:
Hawblitzel; Miller, Dale
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
2. Automated Reasoning
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Miller, Dale; Sattler, Ulrike
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book